diff --git a/tools/github/setup.sh b/tools/github/setup.sh index c975696c7f1..80536d4d792 100755 --- a/tools/github/setup.sh +++ b/tools/github/setup.sh @@ -73,7 +73,7 @@ retry docker pull alpine:3.5 # exit if dummy test suite skipping the long compilation when debugging if [[ $TEST_SUITE =~ Dummy ]] -then echo skiping setup ; exit 0 +then echo skipping setup ; exit 0 fi # Basic check that all code compiles and dependencies are downloaded correctly.