aboutsummaryrefslogtreecommitdiff
path: root/migrate
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-09-01 17:23:52 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-09-01 17:23:52 +0200
commitfa1fca26c52df81d7de43e4dcfcbf6fba55c35c4 (patch)
treef9deb426439574d9bedd964cf835b0b806f3a95d /migrate
parenteca7b337dbd120716b4726013e99913207dcba2c (diff)
Only set cli.options if cli is configured
Diffstat (limited to 'migrate')
-rw-r--r--migrate/buildfile5
1 files changed, 4 insertions, 1 deletions
diff --git a/migrate/buildfile b/migrate/buildfile
index 7fb2cf6..4ff1742 100644
--- a/migrate/buildfile
+++ b/migrate/buildfile
@@ -17,9 +17,12 @@ exe{brep-migrate}: \
#
{hxx ixx cxx}{migrate-options}: cli{migrate}
-cli.options += -I $src_root --include-with-brackets --include-prefix migrate \
+if $cli.configured
+{
+ cli.options += -I $src_root --include-with-brackets --include-prefix migrate \
--guard-prefix MIGRATE --generate-specifier --page-usage print_ --ansi-color \
--long-usage
+}
# Include generated cli files into the distribution.
#