summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Miodrag Milanovic <mmicko@gmail.com>2015-04-07 13:23:31 +0200
committer Miodrag Milanovic <mmicko@gmail.com>2015-04-07 13:23:31 +0200
commit209734925fc28bf85a3d29fe3da9c8d3f881c6b7 (patch)
tree3e9f251f05fad6138eb79acc9541f05a293ceed0 /makefile
parent3991971c8647d2ad7725be0fef3ea1c425583a57 (diff)
Added FILTER_DEPS option for post compile filtering (nw)
Diffstat (limited to 'makefile')
-rw-r--r--makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/makefile b/makefile
index 36887522468..05c107ae11f 100644
--- a/makefile
+++ b/makefile
@@ -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
#-------------------------------------------------