From 2866a5f00c6f0ee2adfb77a8ddc5e688011a4e6a Mon Sep 17 00:00:00 2001
From: Rob Caelers <rob.caelers@gmail.com>
Date: Wed, 5 Sep 2018 19:28:14 +0200
Subject: [PATCH] Fix shell script error

Signed-off-by: Rob Caelers <rob.caelers@gmail.com>
---
 build/travis/build-linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/travis/build-linux.sh b/build/travis/build-linux.sh
index dd9e58555..33ad46c34 100755
--- 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