diff options
author | 2019-09-28 11:12:31 +0300 | |
---|---|---|
committer | 2019-09-28 18:16:58 +1000 | |
commit | 29eac3a3156514ad25414e7d9725323a23cbb27b (patch) | |
tree | 3ddd96ad0d47e3574fecaad81451a15e9fb423ee /scripts/minimaws/minimaws.py | |
parent | d98ddb5419e953d40a23d7d5470f26371d7ce3a5 (diff) |
allow updating version.cpp when IGNORE_GIT=1 is passed
without this tweak it would only create the file if it doesn't exist, and wouldn't update an existing one
Diffstat (limited to 'scripts/minimaws/minimaws.py')
0 files changed, 0 insertions, 0 deletions