X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=3b89d8b642408e454311405cc6cc005c17d8c616;hb=978f182e9ce00820c1ce8c721f61ab57afabd160;hp=bcd3f92cd5ff9115e47fcdf078aa6d2895fe7115;hpb=4dfc5a603e5f56d62b2d2db6abf01161815ed48a;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index bcd3f92..3b89d8b 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ OCAMLOPT = ocamlopt -g -cc "$(CXX)"
 SYNT_DEBUG = -ppopt -DDEBUG
 else
 CXX = g++  
-OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
+OCAMLOPT = ocamlopt  -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
 endif
 ifeq ($(PROFILE), true)
 SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
@@ -106,7 +106,7 @@ libcamlshredder.a: $(CXXOBJECTS) XMLTree/XMLTree.a
 
 clean:
 	@echo [CLEAN]
-	$(HIDE) rm -f *~ *.cm* *.[oa] *.so main 
+	$(HIDE) rm -f *~ *.cm* *.[oa] *.so main timeXMLTree testXMLTree myTimeXMLTree
 	$(HIDE) rm -rf .libs