Merge pull request #238 from LedgerHQ/ci/better_ci

Ci/better ci
2022-02-03 16:57:50 +01:00
parent 4b55157c3e 71f124b2ce
commit 9d26ccfee0
3 changed files with 39 additions and 13 deletions
--- a/tests/build_local_test_elfs.sh
+++ b/tests/build_local_test_elfs.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash

+set -e
+
 TESTS_FULL_PATH=$(dirname "$(realpath "$0")")

 # FILL THESE WITH YOUR OWN SDKs PATHS