diff options
Diffstat (limited to 'dist/travis/test.sh')
| -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 |