diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-04-16 19:44:27 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-04-16 19:44:27 +0000 |
| commit | 5ff9076e9c1a5cc2e9b57041699d0aa37ca8c768 (patch) | |
| tree | 4169f3ae1a774a189b90baeefb1e1c3aaa0b5a44 /ci/script.sh | |
| parent | b55581dfe35040a4fdc93a1f38c1e1769d4d2535 (diff) | |
| parent | bfa56e12f7a3ec3734e329f00d98ce9a953fce6d (diff) | |
Merge #71
71: update parser r=japaric a=japaric
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.
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/script.sh b/ci/script.sh index 222a1e0..9e91aad 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -9,13 +9,13 @@ main() { case $TARGET in thumbv7em-none-eabi*) - xargo check --target $TARGET --features cm7-r0p1 - xargo check --target $TARGET --features cm7-r0p1 --examples + cargo check --target $TARGET --features cm7-r0p1 + cargo check --target $TARGET --features cm7-r0p1 --examples ;; esac - xargo check --target $TARGET - xargo check --target $TARGET --examples + cargo check --target $TARGET + cargo check --target $TARGET --examples } main |