summaryrefslogtreecommitdiff
path: root/cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-06-02 17:21:32 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-06-02 17:21:32 +0200
commit62166bfe7031522bd851eb5d7047a19182e24a45 (patch)
tree43926d04513c7dda6dd24b678c9eac27a0eb0d3f /cli
parentd7cb3c62c90aaa3027730e07136fa7df371290c4 (diff)
Add cli options instead of overriding them
Diffstat (limited to 'cli')
-rw-r--r--cli/makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/makefile b/cli/makefile
index 7183e58..11742de 100644
--- a/cli/makefile
+++ b/cli/makefile
@@ -64,7 +64,7 @@ genf := $(cli_tun:.cli=.hxx) $(cli_tun:.cli=.ixx) $(cli_tun:.cli=.cxx)
gen := $(addprefix $(out_base)/,$(genf))
$(gen): cli := $(out_root)/cli/cli
-$(gen): cli_options := --generate-file-scanner --guard-prefix CLI \
+$(gen): cli_options += --generate-file-scanner --guard-prefix CLI \
--reserved-name stdout
$(call include-dep,$(cxx_od),$(cxx_obj),$(gen))