diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 17:23:52 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 17:23:52 +0200 |
| commit | fa1fca26c52df81d7de43e4dcfcbf6fba55c35c4 (patch) | |
| tree | f9deb426439574d9bedd964cf835b0b806f3a95d /migrate | |
| parent | eca7b337dbd120716b4726013e99913207dcba2c (diff) | |
Only set cli.options if cli is configured
Diffstat (limited to 'migrate')
| -rw-r--r-- | migrate/buildfile | 5 |
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. # |