diff options
author | Johann <johannkoenig@google.com> | 2017-12-14 11:57:49 -0800 |
---|---|---|
committer | Johann <johannkoenig@google.com> | 2017-12-14 11:58:10 -0800 |
commit | fe4de1ff63308a7ae1893d941980d23239d9158b (patch) | |
tree | 5643d99f9889259b24f554e4dbb3836c489e3ce8 /build/make | |
parent | c58f01724cd5f0887e9d0c23396f9f03f78e18d3 (diff) | |
download | libvpx-fe4de1ff63308a7ae1893d941980d23239d9158b.tar libvpx-fe4de1ff63308a7ae1893d941980d23239d9158b.tar.gz libvpx-fe4de1ff63308a7ae1893d941980d23239d9158b.tar.bz2 libvpx-fe4de1ff63308a7ae1893d941980d23239d9158b.zip |
mark generated version header
Allows it to pass the license check in chromium.
BUG=chromium:98319
Change-Id: I5ba9c8c81ab9eb4168df09db9d2eab846e99e981
Diffstat (limited to 'build/make')
-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 |