diff options
| author | Hugo van der Wijst <hvanderwijst@tesla.com> | 2019-01-16 17:36:55 -0800 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-16 00:23:01 +0100 |
| commit | be8a5e89b8c5763dc691bb748ba1da73a56cb2cc (patch) | |
| tree | 841cc45a9bdadbcaec19a5cac984aa9696f02f2d /ci | |
| parent | 4f193df0efbd45d5d86eccb472fc2312aec3ca94 (diff) | |
Make identifiers deterministic.
Diffstat (limited to 'ci')
| -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 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 |