diff options
Diffstat (limited to 'clean/buildfile')
-rw-r--r-- | clean/buildfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clean/buildfile b/clean/buildfile index 8cda205..a183ff5 100644 --- a/clean/buildfile +++ b/clean/buildfile @@ -18,9 +18,9 @@ if $cli.configured { cli.cxx{clean-options}: cli{clean} - cli.options += -I $src_root --include-with-brackets --include-prefix clean \ ---guard-prefix CLEAN --generate-specifier --page-usage print_ --ansi-color \ ---long-usage + cli.options += --std c++11 -I $src_root --include-with-brackets \ +--include-prefix clean --guard-prefix CLEAN --generate-specifier \ +--page-usage print_ --ansi-color --long-usage # 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 |