X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=7079f573d82b8b4db4923d2a0f4cb19e2848bb8d;hb=bfedbb29aa139abed0a311fd2ab2d00f15e1ed9e;hp=980f24bf5d3b921069af82b872ba7db407e501d5;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index 980f24b..7079f57 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-INLINE=100
+INLINE=1000
 DEBUG=false
 PROFILE=false
 VERBOSE=false
@@ -64,7 +64,7 @@ PROFILE_FLAGS = -p -S
 SYNT_PROF = -ppopt -DPROFILE
 endif
 SYNT_FLAGS = $(SYNT_DEBUG) $(SYNT_PROF)
-OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink
+OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink -unsafe
 
 OCAMLOPT = ocamlopt -cc "$(CXX)" $(OPT_FLAGS) -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)