diff options
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 |