diff options
| -rwxr-xr-x | dist/travis-ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 119eed005..6da985787 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -47,7 +47,7 @@ make install cd .. # Package -PKG_VER=`grep Ghdl_Ver src/version.ads | sed -e 's/.*"\(.*\)";/\1/'` +PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'` if [ "$TRAVIS_TAG" = "" ]; then PKG_TAG=`date -u +%Y%m%d` |