From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 20 Mar 2012 20:16:15 +0000 (+0100)
Subject: Rename flags for build script from -foo to -enable-foo
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=468560acb04b8936936080e81152d926c251df30

Rename flags for build script from -foo to -enable-foo
---

diff --git a/build b/build
index 35cc89a..e45b732 100755
--- a/build
+++ b/build
@@ -17,13 +17,13 @@ module Cmdline =
       [ "-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"),