diff options
Diffstat (limited to 'cli')
-rw-r--r-- | cli/buildfile | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/cli/buildfile b/cli/buildfile index 24e5853..4b35f5f 100644 --- a/cli/buildfile +++ b/cli/buildfile @@ -22,15 +22,18 @@ if $cli.configured --guard-prefix CLI --generate-file-scanner --generate-specifier \ --generate-modifier --reserved-name stdout - # Include the generated cli files into the distribution and don't remove - # them when cleaning in src (so that clean results in a state identical to - # distributed). - # - cli.cxx{*}: dist = true - cli.cxx{*}: clean = ($src_root != $out_root) - - # We keep the generated code in the repository so copy it back to src - # in case of a forwarded configuration. - # - cli.cxx{*}: backlink = overwrite + cli.cxx{*}: + { + # Include the generated cli files into the distribution and don't remove + # them when cleaning in src (so that clean results in a state identical to + # distributed). + # + dist = true + clean = ($src_root != $out_root) + + # We keep the generated code in the repository so copy it back to src + # in case of a forwarded configuration. + # + backlink = overwrite + } } |