diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-04-22 22:21:46 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-05-01 21:32:00 +0200 |
| commit | ccd7f4586b63841c4bac51f24dc38570c9f89726 (patch) | |
| tree | c0839773ab356bac429cbc69e4f6b5654d162d6e /ci/script.sh | |
| parent | 485601245ba80488193adda7dc6d5bdef337384a (diff) | |
book: indirection for faster message passing
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/ci/script.sh b/ci/script.sh index 00162eb..b64617d 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -110,6 +110,7 @@ main() { shared-with-init generics + pool ramfunc ) @@ -119,6 +120,31 @@ main() { continue fi + if [ $ex = pool ]; then + if [ $TARGET != thumbv6m-none-eabi ]; then + local td=$(mktemp -d) + + local features="$nightly,timer-queue" + cargo run --example $ex --target $TARGET --features $features >\ + $td/pool.run + grep 'foo(0x2' $td/pool.run + grep 'bar(0x2' $td/pool.run + arm-none-eabi-objcopy -O ihex target/$TARGET/debug/examples/$ex \ + ci/builds/${ex}_${features/,/_}_debug_1.hex + + cargo run --example $ex --target $TARGET --features $features --release >\ + $td/pool.run + grep 'foo(0x2' $td/pool.run + grep 'bar(0x2' $td/pool.run + arm-none-eabi-objcopy -O ihex target/$TARGET/release/examples/$ex \ + ci/builds/${ex}_${features/,/_}_release_1.hex + + rm -rf $td + fi + + continue + fi + if [ $ex != types ]; then arm_example "run" $ex "debug" "$nightly" "1" arm_example "run" $ex "release" "$nightly" "1" @@ -138,7 +164,7 @@ main() { continue fi - if [ $ex != types ]; then + if [ $ex != types ] && [ $ex != pool ]; then arm_example "build" $ex "debug" "$nightly" "2" cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \ ci/builds/${ex}_${nightly/nightly/nightly_}debug_2.hex |