Fix shell script error

Signed-off-by: Rob Caelers <rob.caelers@gmail.com>
rcaelers · Sep 5, 2018 · 2866a5f · 2866a5f
1 parent 4f001b9
commit 2866a5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/travis/build-linux.sh b/build/travis/build-linux.sh
@@ -65,7 +65,7 @@ fi
     `conf_opt exercises` \
     `conf_opt experimental`
 
-if [[ -z "$TRAVIS_TAG" -o -z "$DISTCHECK" ]]; then
+if [ -z "$TRAVIS_TAG" -o -z "$DISTCHECK" ]; then
     make && make check
 else
     make && make dist && make distcheck