diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-09 02:33:32 +0100 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-09 06:02:36 +0100 |
| commit | cbfb15b79968b93cef7960e0380a1a35beba523a (patch) | |
| tree | d8d1db6fa3d6a4f1e5db503f6989801a56171765 /dist | |
| parent | 7873da82231e872021311ece34644c323e5e99d8 (diff) | |
| download | ghdl-cbfb15b79968b93cef7960e0380a1a35beba523a.tar.gz ghdl-cbfb15b79968b93cef7960e0380a1a35beba523a.tar.bz2 ghdl-cbfb15b79968b93cef7960e0380a1a35beba523a.zip | |
Allow not to pass BLD as argument to <travis-ci.sh>, but to be previously defined as an ennvar
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/travis-ci.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 6a84b08af..119eed005 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -5,7 +5,8 @@ set -e CDIR=$PWD -BLD=$1 + +if [ $# -ne 0 ]; then BLD=$1; fi # Display environment echo "Environment:" @@ -58,7 +59,7 @@ echo "creating $PKG_FILE" tar -zcvf $PKG_FILE -C $prefix . # Test -export GHDL="$CDIR/install-$1/bin/ghdl" +export GHDL="$CDIR/install-$BLD/bin/ghdl" cd testsuite gnatmake get_entities ./testsuite.sh |