diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-03 15:30:11 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-03 15:30:11 +0200 |
commit | 139785df3aada78f8bccdda31e310733ca4d2420 (patch) | |
tree | 8ca523696d9a1e29628ed50f7417fc609188b34a /build | |
parent | dc74915e47968c40c497fb6d53144bb815ca5cfb (diff) |
Remove no longer necessary cli target type definition
Diffstat (limited to 'build')
-rw-r--r-- | build/root.build | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/build/root.build b/build/root.build index e68dad4..a7b0df3 100644 --- a/build/root.build +++ b/build/root.build @@ -16,17 +16,11 @@ cxx.poptions =+ "-I$out_root" "-I$src_root" # Load the cli module but only if it's available. This way a distribution # that includes pre-generated files can be built without installing cli. # This is also the reason why we need to explicitly spell out individual -# source files instead of using the cli.cxx{} group (it won't be there -# unless the module is configured). +# source file prerequisites instead of using the cli.cxx{} group (it won't +# be there unless the module is configured). # using? cli -if! $cli.configured -{ - define cli: file - cli{*}: extension = cli -} - # All exe{} in unit-tests/ are, well, tests. # unit-tests/exe{*}: test = true |