Merge commit 'eda183287489b2c705843aa373a19c4e46fb2fec'

[ffmpeg] / version.sh

diff --git a/version.sh b/version.sh
index f9754eb3cf23e29fbaf4eb6992d43d4431dcf518..a9d7e398c8000e44045f99791702097f0c38ab7b 100755 (executable)
--- 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