ref: d95ddc7c71ea1dc4d13300c3ad79181a8b800d95
parent: 7d1bf5d12a273714a83dfe702af4488de8cfdbb0
parent: fe4de1ff63308a7ae1893d941980d23239d9158b
author: Johann Koenig <[email protected]>
date: Thu Dec 14 18:44:04 EST 2017
Merge "mark generated version header"
--- a/build/make/version.sh
+++ b/build/make/version.sh
@@ -60,6 +60,7 @@
echo "${changelog_version}${git_version_id}" > $$.tmp
else
cat<<EOF>$$.tmp
+// This file is generated. Do not edit.
#define VERSION_MAJOR $major_version
#define VERSION_MINOR $minor_version
#define VERSION_PATCH $patch_version