X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=e45b732526fa674ffe46f2b60550bf09a47734a0;hb=HEAD;hp=9b62f74599458dae63659180ef43183125bf5b5f;hpb=15925690fee382ffc7d78fa2fed8b686c180ec99;p=SXSI%2Fxpathcomp.git

diff --git a/build b/build
index 9b62f74..e45b732 100755
--- a/build
+++ b/build
@@ -14,16 +14,16 @@ module Cmdline =
     let verbose = ref ""
     let jobs = ref 0
     let specs = align
-      [ "-verbose", Unit (set verbose "-verbose 10 -classic-display"),
+      [ "-verbose", Unit (set verbose " -classic-display"),
 	" Display compilation commands";
 
-	"-debug", Unit (cons tags "-tag debug"),
+	"-enable-debug", Unit (cons tags "-tag debug"),
 	" Build with debugging code";
 
-	"-profile", Unit (cons tags "-tag profile"),
+	"-enable-profile", Unit (cons tags "-tag profile"),
 	" Build with profiling code";
 
-	"-trace", Unit (cons tags "-tag trace"),
+	"-enable-log", Unit (cons tags "-tag log"),
 	" Build with tracing code enabled";
 
 	"-byte", Unit (set flavor "byte"),