blob: 39379b30f92624aaada8ce39a42249f6f4cbf068 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
REV=d132f544f9d74e3cc047ef211e57eae60b78e5c5
set -euo pipefail
cd "$(dirname "${BASH_SOURCE[0]}")"
mkdir -p rust
touch rust/COMMIT
if [ "$(cat rust/COMMIT)" != "$REV" ]; then
rm -rf rust
mkdir rust
curl -L "https://github.com/rust-lang/rust/archive/${REV}.tar.gz" \
| tar xz --directory rust --strip-components 1
echo "$REV" > rust/COMMIT
fi
|
