From 18a9c29e5ac61e6ee5f1349a1242540874c32cad Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 1 Sep 2016 06:55:41 +0200 Subject: Minor build2-related updates --- build/root.build | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'build') diff --git a/build/root.build b/build/root.build index 5898b63..0d01e14 100644 --- a/build/root.build +++ b/build/root.build @@ -11,14 +11,12 @@ ixx{*}: extension = ixx txx{*}: extension = txx cxx{*}: extension = cxx -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. # using? cli -if! $cli.loaded +if! $cli.configured { define cli: file cli{*}: extension = cli -- cgit v1.1