aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-03-03 15:30:48 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-03-03 15:30:48 +0200
commit755a99a7ebf24e00675e2f2e0f5184825ad74c4a (patch)
treeb4c725f5bd1ce97c8fa6044466d711aa558e86ab
parentae61c5c53cb54975c5b9de16976b0e5cf92b6b9c (diff)
Remove no longer necessary cli target type definition
-rw-r--r--build/root.build12
1 files changed, 3 insertions, 9 deletions
diff --git a/build/root.build b/build/root.build
index 84a7a3e..f19d700 100644
--- a/build/root.build
+++ b/build/root.build
@@ -15,18 +15,12 @@ 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 above we explicitly spelled out individual
-# source files instead of using the cli.cxx{} group (it won't be there
-# unless the module is loaded).
+# This is also the reason why we need to explicitly spell out individual
+# 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 tests/ are, well, tests.
#
tests/exe{*}: test = true