diff options
Diffstat (limited to 'cli')
-rw-r--r-- | cli/buildfile | 12 |
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 +} |