diff options
| author | 2015-04-07 13:23:31 +0200 | |
|---|---|---|
| committer | 2015-04-07 13:23:31 +0200 | |
| commit | 209734925fc28bf85a3d29fe3da9c8d3f881c6b7 (patch) | |
| tree | 3e9f251f05fad6138eb79acc9541f05a293ceed0 /makefile | |
| parent | 3991971c8647d2ad7725be0fef3ea1c425583a57 (diff) | |
Added FILTER_DEPS option for post compile filtering (nw)
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -73,6 +73,8 @@ # CPP11 = 1 # FASTDEBUG = 1 +# FILTER_DEPS = 1 + ########################################################################### ################## END USER-CONFIGURABLE OPTIONS ###################### ########################################################################### @@ -482,6 +484,11 @@ ifdef FASTDEBUG PARAMS += --FASTDEBUG='$(FASTDEBUG)' endif +ifdef FILTER_DEPS +PARAMS += --FILTER_DEPS='$(FILTER_DEPS)' +endif + + #------------------------------------------------- # All scripts #------------------------------------------------- |
