message: tweak travis.sh
diff: @@ -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
  