rustup

[rust.git] / ci.sh

diff --git a/ci.sh b/ci.sh
index 7bdbffd09eee966cd8e734cb7f29487516df1539..8c63a57a4f490a6727061871ac79bc085ffcb45f 100755 (executable)
--- a/ci.sh
+++ b/ci.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 set -euo pipefail
+set -x
 
 # Determine configuration
 export RUSTFLAGS="-D warnings"
@@ -8,8 +9,8 @@ export CARGO_EXTRA_FLAGS="--all-features"
 
 # Prepare
 echo "Build and install miri"
-./miri build --all-targets --locked
 ./miri install # implicitly locked
+./miri build --all-targets --locked # the build that all the `./miri test` below will use
 echo
 
 # Test