From 468560acb04b8936936080e81152d926c251df30 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Tue, 20 Mar 2012 21:16:15 +0100 Subject: [PATCH] Rename flags for build script from -foo to -enable-foo --- build | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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"), -- 2.17.1