diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-11-06 19:48:02 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-11-06 19:48:02 -0500 |
| commit | e9a83947bc919487d8566ec0f7348bbe0d9ae8af (patch) | |
| tree | fd544c9e2c11853501faf91bf25f8254085f4dae | |
| parent | da9c6a714eaa9420694dc6377c6e0167fe08f5d4 (diff) | |
fix bash comparison
| -rw-r--r-- | ci/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/script.sh b/ci/script.sh index e87e50a..78341e1 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 |