From e9a83947bc919487d8566ec0f7348bbe0d9ae8af Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 6 Nov 2019 19:48:02 -0500
Subject: [PATCH] fix bash comparison

---
 ci/script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/script.sh b/ci/script.sh
index e87e50a8db..78341e1bba 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -37,7 +37,7 @@ main() {
     mkdir -p ci/builds
 
     if [ $T = x86_64-unknown-linux-gnu ]; then
-        if [ $TRAVIS_RUST_VERSION == 1.*.* ]; then
+        if [[ $TRAVIS_RUST_VERSION == 1.*.* ]]; then
             # test on a fixed version (MSRV) to avoid problems with changes in rustc diagnostics
             # compile-fail tests
             cargo test --test single --target $T