diff options
Diffstat (limited to 'scripts/do-git-push')
| -rwxr-xr-x | scripts/do-git-push | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/do-git-push b/scripts/do-git-push index 1530d10..8ef0fc0 100755 --- a/scripts/do-git-push +++ b/scripts/do-git-push @@ -54,7 +54,7 @@ if [ $branch != 'refs/heads/master' ]; then fi # double sanity check -mkver=$(awk '$1 == "VERSION_STRING" {print $3; exit 0}' Makefile) +mkver=$(awk '$1 == "#define" && $2 == "PACKAGE_VERSION" {print $3; exit 0}' config.h) if [ $version != $mkver ] then echo "parameter mismatch with Makefile!" @@ -93,7 +93,7 @@ asc=rt-tests-$version.tar.asc if [ ! -e $tar ]; then echo "Generating tarfile $tar" - make release + make dist else echo "Using existing tarfile $tar" fi |