summaryrefslogtreecommitdiff
path: root/cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-03-03 15:47:47 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-03-03 15:47:47 +0200
commit2152522277ee38633df5f36ac93d3ea5cf316c32 (patch)
tree6066584c33c5416b0ce523913eda0292e7f170f5 /cli
parent93df04a720c61edc85f1392e891196a1397288ae (diff)
Rework build2 cli compilation
Diffstat (limited to 'cli')
-rw-r--r--cli/buildfile12
1 files changed, 6 insertions, 6 deletions
diff --git a/cli/buildfile b/cli/buildfile
index cd19583..9ddc880 100644
--- a/cli/buildfile
+++ b/cli/buildfile
@@ -43,15 +43,15 @@ traversal/{hxx cxx}{ unit } \
# Generated options parser.
#
-{hxx ixx cxx}{options}: cli{options}
-
if $cli.configured
{
+ cli.cxx{options}: cli{options}
+
cli.options += -I $src_root --include-with-brackets --include-prefix cli \
--guard-prefix CLI --generate-file-scanner --generate-specifier \
--reserved-name stdout
-}
-# Include generated cli files into the distribution.
-#
-{hxx ixx cxx}{options}: dist = true
+ # Include generated cli files into the distribution.
+ #
+ cli.cxx{*}: dist = true
+}