summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/genie.lua
diff options
context:
space:
mode:
author Vas Crabb <vas@vastheman.com>2016-06-10 00:36:29 +1000
committer Vas Crabb <vas@vastheman.com>2016-06-10 00:36:29 +1000
commit93cd0cd40bae01b637132542a93ddbb297d2b0d6 (patch)
treed98d7b4054c8052206c0280e3c101034e587b729 /scripts/genie.lua
parentebd8e7d74b798ee0c7dc2232d72c13b0d51e1fe4 (diff)
Fix git version [Vas Crabb]
* git version is set by top-level make, not just when GENie runs * can set IGNORE_GIT=1 for make to ignore git * git ignored/unavailable uses "unknown" in version string * mark modified trees as dirty * note that version now comes from makefile
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r--scripts/genie.lua9
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua
index d17753a8834..85dbe6d295e 100644
--- a/scripts/genie.lua
+++ b/scripts/genie.lua
@@ -350,15 +350,6 @@ newoption {
}
newoption {
- trigger = "IGNORE_GIT",
- description = "Ignore usage of git command in build process",
- allowed = {
- { "0", "Do not ignore" },
- { "1", "Ingore" },
- },
-}
-
-newoption {
trigger = "SOURCES",
description = "List of sources to compile.",
}