diff options
| -rwxr-xr-x | dist/travis/test.sh | 2 | ||||
| -rwxr-xr-x | testsuite/sanity/004all08/testsuite.sh | 6 |
2 files changed, 8 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 diff --git a/testsuite/sanity/004all08/testsuite.sh b/testsuite/sanity/004all08/testsuite.sh index 2a412d24a..0b908aade 100755 --- a/testsuite/sanity/004all08/testsuite.sh +++ b/testsuite/sanity/004all08/testsuite.sh @@ -1,5 +1,11 @@ #!/bin/sh +if [ "$ISGPL" = "true" ]; then + # std_logic_1164 not available in openieee. + echo "test skipped" + exit 0 +fi + . ../../testenv.sh GHDL_STD_FLAGS="--std=08" |