diff options
| -rwxr-xr-x | build/make/version.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/make/version.sh b/build/make/version.sh index 696752777..f36ede10f 100755 --- a/build/make/version.sh +++ b/build/make/version.sh @@ -60,6 +60,7 @@ if [ ${bare} ]; then 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 |