|
@@ -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 |
|
|
# Update version header only on revision changes to avoid spurious rebuilds |
|
|
if test "$NEW_REVISION" != "$OLD_REVISION"; then |
|
|
if test "$NEW_REVISION" != "$OLD_REVISION"; then |
|
|
cat << EOF > "$2" |
|
|
cat << EOF > "$2" |
|
|
|
|
|
/* Automatically generated by version.sh, do not manually edit! */ |
|
|
#ifndef $GUARD |
|
|
#ifndef $GUARD |
|
|
#define $GUARD |
|
|
#define $GUARD |
|
|
$NEW_REVISION |
|
|
$NEW_REVISION |
|
|