diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/genversion.sh | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/tools/genversion.sh b/tools/genversion.sh index 485263d152..bd80ceb597 100755 --- a/tools/genversion.sh +++ b/tools/genversion.sh | |||
@@ -8,22 +8,21 @@ | |||
8 | 8 | ||
9 | # Usage: genversion.sh destination-dir path-to-version.sh [source-root] | 9 | # Usage: genversion.sh destination-dir path-to-version.sh [source-root] |
10 | 10 | ||
11 | # Generate version.h file | 11 | # Generate rbversion.h file |
12 | 12 | ||
13 | # XXX DO NOT TWEAK VERSION HERE, EDIT version.sh INSTEAD | 13 | # XXX DO NOT TWEAK VERSION HERE, EDIT version.sh INSTEAD |
14 | 14 | ||
15 | VERSION=`$2 $3` | 15 | VERSION=`$2 $3` |
16 | 16 | ||
17 | cat > "$1/_version.h" << EOF | 17 | cat > "$1/_rbversion.h" << EOF |
18 | /* Generated by genversion.sh */ | 18 | /* Generated by genversion.sh */ |
19 | extern const char rbversion[]; | ||
20 | #define RBVERSION "$VERSION" | 19 | #define RBVERSION "$VERSION" |
21 | EOF | 20 | EOF |
22 | 21 | ||
23 | if [ -f "$1/version.h" ] | 22 | if [ -f "$1/rbversion.h" ] |
24 | then if diff "$1/_version.h" "$1/version.h" > /dev/null | 23 | then if diff "$1/_rbversion.h" "$1/rbversion.h" > /dev/null |
25 | then rm -f "$1/_version.h" | 24 | then rm -f "$1/_rbversion.h" |
26 | else mv "$1/_version.h" "$1/version.h" | 25 | else mv "$1/_rbversion.h" "$1/rbversion.h" |
27 | fi | 26 | fi |
28 | else mv "$1/_version.h" "$1/version.h" | 27 | else mv "$1/_rbversion.h" "$1/rbversion.h" |
29 | fi | 28 | fi |