diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-03-21 18:33:54 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-03-21 18:33:54 +0100 |
| commit | ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1 (patch) | |
| tree | aecf5e76a63c2906fa4ad2041505b740b0780209 /dist/linux | |
| parent | 047de40c7799e4186b16bd1ad2c6eb17a7cf0098 (diff) | |
| download | ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.tar.gz ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.tar.bz2 ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.zip | |
Set a version to libghdl, put version in configure.
Diffstat (limited to 'dist/linux')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 5d328279a..51f7a83eb 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -55,7 +55,7 @@ echo "travis_fold:end:fetch" # Compute package name PKG_SHORTCOMMIT="$(printf $TRAVIS_COMMIT | cut -c1-10)" -PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'` +PKG_VER=`grep "ghdl_version=" configure | sed -e 's/.*"\(.*\)";/\1/'` if [ -z "$TRAVIS_TAG" ]; then # No tag: use date + commit id PKG_TAG="$(date -u +%Y%m%d)-$PKG_SHORTCOMMIT"; |