diff options
author | Marius Kintel <marius@kintel.net> | 2012-01-15 00:48:14 (GMT) |
---|---|---|
committer | Marius Kintel <marius@kintel.net> | 2012-01-15 00:48:14 (GMT) |
commit | 232f51a2bcf485fd5ade619447e1206fcc991fa7 (patch) | |
tree | ff7dd784cef27eb71442f40bb91e1bc26f246a61 /version.pri | |
parent | 864c39f5fbb8002f4634b76a03a174da0d5b02da (diff) | |
parent | f0ffb390c8bced58d44fb0cb892ea828ac0bafb7 (diff) |
Merge branch 'master' into boost_backport
Diffstat (limited to 'version.pri')
-rw-r--r-- | version.pri | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/version.pri b/version.pri index 6b91ecd..e490d7d 100644 --- a/version.pri +++ b/version.pri @@ -66,3 +66,7 @@ VERSION_DAY=$${VERSION_DAY}.0 DEFINES += OPENSCAD_VERSION=$$VERSION OPENSCAD_YEAR=$$VERSION_YEAR OPENSCAD_MONTH=$$VERSION_MONTH !isEmpty(VERSION_DAY): DEFINES += OPENSCAD_DAY=$$VERSION_DAY + +!isEmpty(OPENSCAD_COMMIT) { + DEFINES += OPENSCAD_COMMIT=$$OPENSCAD_COMMIT +} |