diff --git a/test.sh b/test.sh index 81f37c10f..64405d8dd 100644 --- a/test.sh +++ b/test.sh @@ -6,7 +6,7 @@ FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic" PROXY=/opt/hermit/bin/proxy -if [ "$TRAVIS_BRANCH" = "prodcution" ] +if [ $TRAVIS_BRANCH = "prodcution" ] then echo "No tests on production branch" else