diff options
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 |
commit | cc35d05ec05209e6c453be96e16d32dcb15c3f1b (patch) | |
tree | 1aafde544d949f4dfa4011e6fe419b1fd184b845 /makefile | |
parent | 03275c7b68de15c88b7cd427f52593bf4ec47102 (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-- | makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |