aboutsummaryrefslogtreecommitdiff
path: root/ci/script.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/script.sh')
-rw-r--r--ci/script.sh6
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