diff options
| author | 2016-04-12 11:37:25 +1000 | |
|---|---|---|
| committer | 2016-04-12 11:37:48 +1000 | |
| commit | 9534b2b16573b4f34715c2b9bdb9fc8565dcce1e (patch) | |
| tree | 51d7ee9b2a027cbe1ed241667c0a84097ce8c93d /makefile | |
| parent | 0cfa1925336ecc84f33640c0e65be5ddce8e50fb (diff) | |
Fix surprising behaviour of {TOOLS,TESTS,BENCHMARKS}=0
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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)' |
