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/script.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/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 |