ci: avoid false success

eine · eine · commit 379c713bf070 · 2020-01-13T01:15:39.000+01:00
diff --git a/tests/ghdl/Boards2.sh b/tests/ghdl/Boards2.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env sh
 
+set -e
+
 if [ "x$GHDL" = "x" ]; then
   GHDL=ghdl
 fi
diff --git a/tests/run.sh b/tests/run.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env sh
 
+set -e
+
 cd $(dirname $0)
 
 if [ "$#" -le 1 ]; then
