aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhattenberger2013-03-27 13:17:20 +0000
committerhattenberger2013-03-27 13:17:20 +0000
commit14e8b6c8bcdaaab465506725dcb8e8a69fd7cb67 (patch)
tree127d4b5bd03350dd8342b48ce56925681b52569d
parent129bbd527877e96109a01fb89393a055d1c921e3 (diff)
downloadivy-ocaml-14e8b6c8bcdaaab465506725dcb8e8a69fd7cb67.zip
ivy-ocaml-14e8b6c8bcdaaab465506725dcb8e8a69fd7cb67.tar.gz
ivy-ocaml-14e8b6c8bcdaaab465506725dcb8e8a69fd7cb67.tar.bz2
ivy-ocaml-14e8b6c8bcdaaab465506725dcb8e8a69fd7cb67.tar.xz
remove -unsafe option for ocamlopt, we want array bounds checking
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f86591f..cd6ac8b 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ DEBUG ?= n
OCAMLC = ocamlc
OCAMLMLI = ocamlc
-OCAMLOPT = ocamlopt -unsafe
+OCAMLOPT = ocamlopt
OCAMLDEP = ocamldep
OCAMLMKLIB = ocamlmklib