diff options
author | 2016-06-10 00:36:29 +1000 | |
---|---|---|
committer | 2016-06-10 00:36:29 +1000 | |
commit | 93cd0cd40bae01b637132542a93ddbb297d2b0d6 (patch) | |
tree | d98d7b4054c8052206c0280e3c101034e587b729 /scripts/src/machine.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/src/machine.lua')
0 files changed, 0 insertions, 0 deletions