From fa22145363388185c56fe47e2ab63f6eeb264077 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 21 Apr 2019 20:26:25 +0200 Subject: ci: the singleton example has been removed --- ci/script.sh | 8 -------- 1 file changed, 8 deletions(-) (limited to 'ci/script.sh') diff --git a/ci/script.sh b/ci/script.sh index 0e350d1..00162eb 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -104,8 +104,6 @@ main() { message capacity - singleton - types not-send not-sync @@ -140,12 +138,6 @@ main() { continue fi - if [ $ex = singleton ]; then - # singleton build is currently not reproducible due to - # https://github.com/japaric/owned-singleton/issues/2 - continue - fi - if [ $ex != types ]; then arm_example "build" $ex "debug" "$nightly" "2" cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \ -- cgit v1.2.3 From ccd7f4586b63841c4bac51f24dc38570c9f89726 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Mon, 22 Apr 2019 22:21:46 +0200 Subject: book: indirection for faster message passing --- ci/script.sh | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) (limited to 'ci/script.sh') 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 -- cgit v1.2.3