diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-12-22 08:01:07 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-12-22 08:01:07 +0100 |
| commit | d42d7795a70586f7479565b89e8870b25ceb06ba (patch) | |
| tree | 25024e39dd0b0a48f1ae686afdb856302b569140 /dist/travis | |
| parent | 23e70671cc68dea9def3bd22f2a173c4581464ae (diff) | |
| download | ghdl-d42d7795a70586f7479565b89e8870b25ceb06ba.tar.gz ghdl-d42d7795a70586f7479565b89e8870b25ceb06ba.tar.bz2 ghdl-d42d7795a70586f7479565b89e8870b25ceb06ba.zip | |
travis-ci: skip 004all08 test for gpl build.
Diffstat (limited to 'dist/travis')
| -rwxr-xr-x | dist/travis/test.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/travis/test.sh b/dist/travis/test.sh index c588f01dc..c6113584d 100755 --- a/dist/travis/test.sh +++ b/dist/travis/test.sh @@ -11,6 +11,8 @@ echo "$0" "$@" # Stop in case of error set -e +export ISGPL=false + # Transform long options to short ones for arg in "$@"; do shift |