| David Tolnay | 11e6da9 | 2017-11-19 11:57:24 -0800 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |
| David Tolnay | d43c61e | 2018-12-15 00:48:46 -0800 | [diff] [blame] | 3 | REV=96d1334e567237b1507cd277938e7ae2de75ff51 |
| 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 |