From cd10edcd0aee39ebb42209d938570e7e851d22f8 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Wed, 18 Jan 2017 16:17:28 +0100 Subject: [PATCH] remove typos --- test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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