diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-04-08 18:23:27 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-04-16 21:32:29 +0200 |
| commit | 7fdf16eab948ea04c1e56fdb5a704ed88780f5c6 (patch) | |
| tree | a7438c2353382d5d46a391a1a81f7d05f9e83d65 /ci/install.sh | |
| parent | b55581dfe35040a4fdc93a1f38c1e1769d4d2535 (diff) | |
update parser
closes #69
this doesn't change functionality per se but improves diagnostics in some cases. Some hard errors
have becomes warnings, for example: when `resources` is empty, or when `idle.path` is set to the
default `idle` path.
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/ci/install.sh b/ci/install.sh index dd7de9e..8bc6a47 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,14 +1,7 @@ set -euxo pipefail main() { - case $TARGET in - thumbv*-none-eabi*) - cargo install --list | grep 'xargo v0.3.8' || \ - cargo install xargo --vers 0.3.8 - rustup component list | grep 'rust-src.*installed' || \ - rustup component add rust-src - ;; - esac + . } main |
