summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/genie.lua
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 /scripts/genie.lua
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 'scripts/genie.lua')
-rw-r--r--scripts/genie.lua9
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