| #!/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 |