diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-02-29 08:46:34 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-02-29 08:46:34 +0100 |
commit | 0d7c41cdc40b994aec616a84d78cf0375d63ad2e (patch) | |
tree | 1035964f751301f9bf777a9d69fc947a909d22eb | |
parent | 19cccc7635e0f9b1a02cce1c643aede7115ed8c3 (diff) | |
download | ghdl-0d7c41cdc40b994aec616a84d78cf0375d63ad2e.tar.gz ghdl-0d7c41cdc40b994aec616a84d78cf0375d63ad2e.tar.bz2 ghdl-0d7c41cdc40b994aec616a84d78cf0375d63ad2e.zip |
Adjust version check in ci-run.sh
-rwxr-xr-x | dist/ci-run.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/dist/ci-run.sh b/dist/ci-run.sh index 5750a2b76..3edf1e32b 100755 --- a/dist/ci-run.sh +++ b/dist/ci-run.sh @@ -125,13 +125,14 @@ notag() { vertag() { if expr "$1" : 'v[0-9].*' > /dev/null; then - # Remove leading 'v' in tags in the filenames. - echo $1 | cut -c2- # Check version defined in configure. - if [ "x$1" != "x`grep "^ghdl_version=" configure | sed -e 's/.*"\(.*\)";/\1/'`" ]; then - printf "${ANSI_RED}Tag '$1' does not match 'ghdl_version'!${ANSI_NOCOLOR}\n" 1>&2; + cfgver=`grep "^ghdl_version=" configure | sed -e 's/.*"\(.*\)"/\1/'` + if [ "x$1" != "xv$cfgver" ]; then + printf "${ANSI_RED}Tag '$1' does not match configure 'ghdl_version' ($cfgver)!${ANSI_NOCOLOR}\n" 1>&2; exit 1 fi + # Remove leading 'v' in tags in the filenames. + echo $1 | cut -c2- else # Regular tag (like snapshots), nothing to change. echo "$2" |