diff options
| author | Johann Koenig <johannkoenig@google.com> | 2017-12-14 23:44:04 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2017-12-14 23:44:04 +0000 |
| commit | d95ddc7c71ea1dc4d13300c3ad79181a8b800d95 (patch) | |
| tree | fe768d6b802b8922faa89c33f3178ee1a204db85 /build | |
| parent | 7d1bf5d12a273714a83dfe702af4488de8cfdbb0 (diff) | |
| parent | fe4de1ff63308a7ae1893d941980d23239d9158b (diff) | |
| download | libvpx-d95ddc7c71ea1dc4d13300c3ad79181a8b800d95.tar libvpx-d95ddc7c71ea1dc4d13300c3ad79181a8b800d95.tar.gz libvpx-d95ddc7c71ea1dc4d13300c3ad79181a8b800d95.tar.bz2 libvpx-d95ddc7c71ea1dc4d13300c3ad79181a8b800d95.zip | |
Merge "mark generated version header"
Diffstat (limited to 'build')
| -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 |