File tree 1 file changed +6
-3
lines changed
1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -46,12 +46,13 @@ cd "$REPO_DIR"
46
46
# Get the commit ID from rustc --version
47
47
echo " Retrieving commit ID..."
48
48
COMMIT_ID=$( rustc --version | sed -e " s/.*(\(.*\) .*/\1/" )
49
- echo " $COMMIT_ID for rustc is"
50
49
51
50
# Get the full commit ID for shallow clone
52
- curl -H " Connection: close" -o " ${TMP_RUST_DIR} /output.json" -s --show-error \
51
+ echo " Full commit id for $COMMIT_ID for is:"
52
+ curl -o " ${TMP_RUST_DIR} /output.json" -s --show-error \
53
53
" https://api.github.com/repos/rust-lang/rust/commits?sha=${COMMIT_ID} &per_page=1"
54
- COMMIT_ID=$( jq -r ' .[0].sha' " ${TMP_RUST_DIR} /output.json" )
54
+ COMMIT_ID=$( cat " ${TMP_RUST_DIR} /output.json" | jq -r ' .[0].sha' )
55
+ echo " - $COMMIT_ID "
55
56
56
57
# Clone the rust-lang/rust repository
57
58
echo " Cloning rust-lang/rust repository into ${TMP_RUST_DIR} ..."
@@ -74,6 +75,8 @@ cp -r "${REPO_DIR}/library" "${TMP_RUST_DIR}"
74
75
pushd " ${TMP_RUST_DIR} "
75
76
./configure --set=llvm.download-ci-llvm=true
76
77
export RUSTFLAGS=" --check-cfg cfg(kani) --check-cfg cfg(feature,values(any()))"
78
+ export RUST_BACKTRACE=1
79
+ unset GITHUB_ACTIONS # Bootstrap script requires specific repo layout when run from an action. Disable that.
77
80
78
81
# Run tidy
79
82
if [ " ${TIDY_MODE} " == " --bless" ];
You can’t perform that action at this time.
0 commit comments