From 755a99a7ebf24e00675e2f2e0f5184825ad74c4a Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 3 Mar 2017 15:30:48 +0200 Subject: Remove no longer necessary cli target type definition --- build/root.build | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) (limited to 'build') 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 -- cgit v1.1