diff options
Diffstat (limited to 'ci/script.sh')
-rw-r--r-- | ci/script.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 6a15cc67..40b03a7e 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -125,6 +125,12 @@ main() { cargo clean for ex in ${exs[@]}; do + 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" "" "2" cmp ${ex}_debug_1.hex ${ex}_debug_2.hex |