diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/genversion.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/genversion.sh b/tools/genversion.sh index bd80ceb..c385c36 100755 --- a/tools/genversion.sh +++ b/tools/genversion.sh @@ -6,19 +6,20 @@ # Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \ # \/ \/ \/ \/ \/ -# Usage: genversion.sh destination-dir path-to-version.sh [source-root] +# Usage: genversion.sh destination-dir version # Generate rbversion.h file # XXX DO NOT TWEAK VERSION HERE, EDIT version.sh INSTEAD -VERSION=`$2 $3` +VERSION="$2" cat > "$1/_rbversion.h" << EOF /* Generated by genversion.sh */ #define RBVERSION "$VERSION" EOF +# Don't touch rbversion.h if it hasn't change, to avoid rebuilding stuff if [ -f "$1/rbversion.h" ] then if diff "$1/_rbversion.h" "$1/rbversion.h" > /dev/null then rm -f "$1/_rbversion.h" |