From be8a5e89b8c5763dc691bb748ba1da73a56cb2cc Mon Sep 17 00:00:00 2001
From: Hugo van der Wijst <hvanderwijst@tesla.com>
Date: Wed, 16 Jan 2019 17:36:55 -0800
Subject: Make identifiers deterministic.

---
 ci/script.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'ci/script.sh')

diff --git a/ci/script.sh b/ci/script.sh
index 6a15cc6..40b03a7 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
-- 
cgit v1.2.3