diff options
author | 2015-04-08 08:52:02 +0200 | |
---|---|---|
committer | 2015-04-08 08:52:02 +0200 | |
commit | cc35d05ec05209e6c453be96e16d32dcb15c3f1b (patch) | |
tree | 1aafde544d949f4dfa4011e6fe419b1fd184b845 /scripts/genie.lua | |
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 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index c945dc1068b..0a70ebb904f 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -263,6 +263,15 @@ newoption { } } +newoption { + trigger = "SEPARATE_BIN", + description = "Use separate bin folders.", + allowed = { + { "0", "Disabled" }, + { "1", "Enabled" }, + } +} + if not _OPTIONS["BIGENDIAN"] then _OPTIONS["BIGENDIAN"] = "0" end |