diff options
author | Ganesh Ajjanagadde <gajjanagadde@gmail.com> | 2015-10-15 19:03:25 -0400 |
---|---|---|
committer | Ganesh Ajjanagadde <gajjanagadde@gmail.com> | 2015-10-25 10:14:44 -0400 |
commit | 104f8ea873ad00b5492630522687515c75111715 (patch) | |
tree | 478407c9de8415f3f5682ad991184890e116a66b /version.sh | |
parent | c7131762c021a3e5073f30e144ab3790177e8920 (diff) | |
download | ffmpeg-104f8ea873ad00b5492630522687515c75111715.tar.gz |
version.sh: add note that ffversion.h is auto-generated
Reviewed-by: Ronald S. Bultje <rsbultje@gmail.com>
Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
Diffstat (limited to 'version.sh')
-rwxr-xr-x | version.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/version.sh b/version.sh index f9754eb3cf..a9d7e398c8 100755 --- a/version.sh +++ b/version.sh @@ -54,6 +54,7 @@ GUARD=$(echo "$2" | sed 's/\//_/' | sed 's/\./_/' | tr '[:lower:]' '[:upper:]' | # Update version header only on revision changes to avoid spurious rebuilds if test "$NEW_REVISION" != "$OLD_REVISION"; then cat << EOF > "$2" +/* Automatically generated by version.sh, do not manually edit! */ #ifndef $GUARD #define $GUARD $NEW_REVISION |