Merge commit 'd2b7ee2575c5132ef050e2523955382e1fae00ec' as 'bridges'

(git subtree add --prefix=bridges bridges master --squash)
This commit is contained in:
Branislav Kontur
2022-12-01 22:32:52 +01:00
357 changed files with 79920 additions and 0 deletions
+19
View File
@@ -0,0 +1,19 @@
#!/bin/bash
set -xeu
echo $CARGO_TARGET_DIR;
mkdir -p $CARGO_TARGET_DIR;
echo "Current Rust nightly version:";
rustc +nightly --version;
echo "Cached Rust nightly version:";
if [ ! -f $CARGO_TARGET_DIR/check_nightly_rust ]; then
echo "" > $CARGO_TARGET_DIR/check_nightly_rust;
fi
cat $CARGO_TARGET_DIR/check_nightly_rust;
if [[ $(cat $CARGO_TARGET_DIR/check_nightly_rust) == $(rustc +nightly --version) ]]; then
echo "The Rust nightly version has not changed";
else
echo "The Rust nightly version has changed. Clearing the cache";
rm -rf $CARGO_TARGET_DIR/*;
fi