diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-16 00:22:00 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-16 00:25:48 +0100 |
| commit | 2b8e743f35a69b9b09a4de4c346eb9015c6b45ea (patch) | |
| tree | 3e13dd99d74b7da1c6cab345cb678299af2d0e93 /ci | |
| parent | cf05dc2c4b2bb702be4807867610dfedcc02d6f2 (diff) | |
make debug builds reproducible
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/script.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/script.sh b/ci/script.sh index 7c14766..4b9cd22 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -139,15 +139,15 @@ main() { fi if [ $ex != types ]; then - # arm_example "build" $ex "debug" "" "2" - # cmp ci/builds/${ex}_debug_1.hex ci/builds/${ex}_debug_2.hex + arm_example "build" $ex "debug" "" "2" + cmp ci/builds/${ex}_debug_1.hex ci/builds/${ex}_debug_2.hex arm_example "build" $ex "release" "" "2" cmp ci/builds/${ex}_release_1.hex ci/builds/${ex}_release_2.hex fi if [ $TARGET != thumbv6m-none-eabi ]; then - # arm_example "build" $ex "debug" "timer-queue" "2" - # cmp ci/builds/${ex}_timer-queue_debug_1.hex ci/builds/${ex}_timer-queue_debug_2.hex + arm_example "build" $ex "debug" "timer-queue" "2" + cmp ci/builds/${ex}_timer-queue_debug_1.hex ci/builds/${ex}_timer-queue_debug_2.hex arm_example "build" $ex "release" "timer-queue" "2" cmp ci/builds/${ex}_timer-queue_release_1.hex ci/builds/${ex}_timer-queue_release_2.hex fi |