summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Miodrag Milanovic <mmicko@gmail.com>2015-04-08 08:52:02 +0200
committer Miodrag Milanovic <mmicko@gmail.com>2015-04-08 08:52:02 +0200
commitcc35d05ec05209e6c453be96e16d32dcb15c3f1b (patch)
tree1aafde544d949f4dfa4011e6fe419b1fd184b845 /makefile
parent03275c7b68de15c88b7cd427f52593bf4ec47102 (diff)
added SEPARATE_BIN option to put executable files in bin folder and not in main (useful for continuous integration )(nw)
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/makefile b/makefile
index d2fcce40250..ec10517c228 100644
--- a/makefile
+++ b/makefile
@@ -74,6 +74,7 @@
# FASTDEBUG = 1
# FILTER_DEPS = 1
+# SEPARATE_BIN = 1
-include useroptions.mak
@@ -490,6 +491,9 @@ ifdef FILTER_DEPS
PARAMS += --FILTER_DEPS='$(FILTER_DEPS)'
endif
+ifdef SEPARATE_BIN
+PARAMS += --SEPARATE_BIN='$(SEPARATE_BIN)'
+endif
#-------------------------------------------------
# All scripts