17 lines
381 B
Bash
Executable File
17 lines
381 B
Bash
Executable File
#!/bin/bash
|
|
|
|
REV=7979016aff545f7b41cc517031026020b340989d
|
|
|
|
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
|