diff options
author | 2016-06-10 00:36:29 +1000 | |
---|---|---|
committer | 2016-06-10 00:36:29 +1000 | |
commit | 93cd0cd40bae01b637132542a93ddbb297d2b0d6 (patch) | |
tree | d98d7b4054c8052206c0280e3c101034e587b729 /scripts/genie.lua | |
parent | ebd8e7d74b798ee0c7dc2232d72c13b0d51e1fe4 (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.lua | 9 |
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.", } |