diff options
| -rwxr-xr-x | get_vers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/get_vers.sh b/get_vers.sh index adc764c..7f281ae 100755 --- a/get_vers.sh +++ b/get_vers.sh @@ -5,7 +5,7 @@ top_srcdir=${1:-`pwd`} if test -f ${top_srcdir}/VERSION; then VERSION=`cat ${top_srcdir}/VERSION` elif test -d ${top_srcdir}/.git; then - VERSION=`(cd $top_srcdir; git describe --abbrev=6 --dirty)` + VERSION=`(cd $top_srcdir; git describe --abbrev=6 --dirty | sed -e 's/%7E/~/')` fi if test -z "$VERSION"; then |