diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-16 12:24:03 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-16 12:25:35 +0300 |
commit | 5a6cad9799be32889c85ebd71c70a03fe4a2a861 (patch) | |
tree | 2d46303d76442838349dee9199c8046704dad1b2 /clean/buildfile | |
parent | e65a9b0ddd84b88ec6572892ea8d2e8bec4162be (diff) |
Add '--std c++11' CLI option in load, merge, and clean buildfiles
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 |