diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release b/tools/release index d7c8e09..1e906c8 100755 --- a/tools/release +++ b/tools/release @@ -16,7 +16,7 @@ fi make dist # read version -VERSION=`grep 'static const char VERSION\[\] =' src/version.h | awk '{ print $6 }' | sed -e 's/[";]//g'` +VERSION=`grep 'static const char VERSION\[\] =' src/Version.h | awk '{ print $6 }' | sed -e 's/[";]//g'` # tag version echo "Tagging: $VERSION" |