X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=e45b732526fa674ffe46f2b60550bf09a47734a0;hb=c24457c0df47a48b78bdfc93c3f2e4585687c639;hp=35cc89a980297083acab817142302a3160c71d88;hpb=3d2e07a51c9dbc0d5752e4a44a47b5a93cadfaac;p=SXSI%2Fxpathcomp.git 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"),