summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Vas Crabb <vas@vastheman.com>2016-04-12 11:37:25 +1000
committer Vas Crabb <vas@vastheman.com>2016-04-12 11:37:48 +1000
commit9534b2b16573b4f34715c2b9bdb9fc8565dcce1e (patch)
tree51d7ee9b2a027cbe1ed241667c0a84097ce8c93d /makefile
parent0cfa1925336ecc84f33640c0e65be5ddce8e50fb (diff)
Fix surprising behaviour of {TOOLS,TESTS,BENCHMARKS}=0
Diffstat (limited to 'makefile')
-rw-r--r--makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/makefile b/makefile
index dfed88cdca8..8a4258c595e 100644
--- a/makefile
+++ b/makefile
@@ -498,16 +498,22 @@ endif
endif
ifdef TOOLS
+ifneq '$(TOOLS)' '0'
PARAMS += --with-tools
endif
+endif
ifdef TESTS
+ifneq '$(TESTS)' '0'
PARAMS += --with-tests
endif
+endif
ifdef BENCHMARKS
+ifneq '$(BENCHMARKS)' '0'
PARAMS += --with-benchmarks
endif
+endif
ifdef SYMBOLS
PARAMS += --SYMBOLS='$(SYMBOLS)'