diff options
-rwxr-xr-x | version.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |