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

diff --git a/build b/build
index 35cc89a..e45b732 100755 (executable)
--- 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"),