tweak travis.sh

Author: RalfJung

travis.sh

@@ -11,20 +11,20 @@ else
 fi
 
 echo "Build and install miri"
-cargo build --release --all-features --all-targets &&
+cargo build --release --all-features --all-targets
 cargo install --all-features --force --path .
 echo
 
 echo "Get ourselves a MIR-full libstd for the host and a foreign architecture"
-cargo miri setup &&
+cargo miri setup
 cargo miri setup --target "$FOREIGN_TARGET"
 echo
 
 echo "Test miri with full MIR, on the host and other architectures"
-MIRI_SYSROOT=$MIRI_SYSROOT_BASE/HOST cargo test --release --all-features &&
-MIRI_SYSROOT=$MIRI_SYSROOT_BASE MIRI_TARGET=$FOREIGN_TARGET cargo test --release --all-features
+MIRI_SYSROOT="$MIRI_SYSROOT_BASE"/HOST cargo test --release --all-features
+MIRI_SYSROOT="$MIRI_SYSROOT_BASE" MIRI_TARGET="$FOREIGN_TARGET" cargo test --release --all-features
 echo
 
 echo "Test cargo integration"
-(cd test-cargo-miri && MIRI_SYSROOT=$MIRI_SYSROOT_BASE/HOST ./run-test.py)
+(cd test-cargo-miri && MIRI_SYSROOT="$MIRI_SYSROOT_BASE"/HOST ./run-test.py)
 echo