diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2017-02-10 21:49:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-10 21:49:39 +0100 |
| commit | 6adb5c80b1c74f44329173818d50fd65d5b94ae2 (patch) | |
| tree | 2563cb3686be41910eefcab47faac8cdcc3b7a07 /dist/travis-ci.sh | |
| parent | e1c4ff6c85be72c1a3059b834a84fdaeca2d3593 (diff) | |
| parent | dd96728af8aed2327413456daada2a2f50c217b6 (diff) | |
| download | ghdl-6adb5c80b1c74f44329173818d50fd65d5b94ae2.tar.gz ghdl-6adb5c80b1c74f44329173818d50fd65d5b94ae2.tar.bz2 ghdl-6adb5c80b1c74f44329173818d50fd65d5b94ae2.zip | |
Merge pull request #276 from 1138-4EB/quotevars
Avoid problems from not using quotes in shell script.
Diffstat (limited to 'dist/travis-ci.sh')
| -rwxr-xr-x | dist/travis-ci.sh | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 6da985787..935f2894b 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -4,9 +4,9 @@ # Stop in case of error set -e -CDIR=$PWD +CDIR=$(pwd) -if [ $# -ne 0 ]; then BLD=$1; fi +if [ $# -ne 0 ]; then BLD="$1"; fi # Display environment echo "Environment:" @@ -15,8 +15,8 @@ env # Prepare prefix="$CDIR/install-$BLD" mkdir "$prefix" -mkdir build-$BLD -cd build-$BLD +mkdir "build-$BLD" +cd "build-$BLD" # Configure case "$BLD" in @@ -52,11 +52,11 @@ PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'` if [ "$TRAVIS_TAG" = "" ]; then PKG_TAG=`date -u +%Y%m%d` else - PKG_TAG=$TRAVIS_TAG + PKG_TAG="$TRAVIS_TAG" fi -PKG_FILE=ghdl-$PKG_VER-$BLD-$PKG_TAG.tgz +PKG_FILE="ghdl-$PKG_VER-$BLD-$PKG_TAG.tgz" echo "creating $PKG_FILE" -tar -zcvf $PKG_FILE -C $prefix . +tar -zcvf "$PKG_FILE" -C "$prefix" . # Test export GHDL="$CDIR/install-$BLD/bin/ghdl" |