| David Tolnay | 11e6da9 | 2017-11-19 11:57:24 -0800 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |
| David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 3 | REV=63d66494aff57411bfec1dd2a3a5f1af900feab6 |
| David Tolnay | 11e6da9 | 2017-11-19 11:57:24 -0800 | [diff] [blame] | 4 | |
| 5 | set -euo pipefail |
| 6 | cd "$(dirname "${BASH_SOURCE[0]}")" |
| David Tolnay | ed8716e | 2017-12-25 21:49:39 -0500 | [diff] [blame] | 7 | mkdir -p rust |
| David Tolnay | 3dc5048 | 2018-09-22 14:03:45 -0700 | [diff] [blame^] | 8 | touch rust/COMMIT |
| David Tolnay | 11e6da9 | 2017-11-19 11:57:24 -0800 | [diff] [blame] | 9 | |
| David Tolnay | 3dc5048 | 2018-09-22 14:03:45 -0700 | [diff] [blame^] | 10 | if [ "$(cat rust/COMMIT)" != "$REV" ]; then |
| 11 | rm -rf rust |
| 12 | mkdir rust |
| 13 | curl -L "https://github.com/rust-lang/rust/archive/${REV}.tar.gz" \ |
| 14 | | tar xz --directory rust --strip-components 1 |
| 15 | echo "$REV" > rust/COMMIT |
| David Tolnay | 11e6da9 | 2017-11-19 11:57:24 -0800 | [diff] [blame] | 16 | fi |