Update make_debian.sh

apbarratt · Oct 9, 2021 · 39d1326 · 39d1326
1 parent e758a6f
commit 39d1326
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/make_debian.sh b/make_debian.sh
@@ -85,7 +85,11 @@ echo "*************"
 echo " test"
 echo "*************"
 echo
-(cd src/lib/ebus/test && make test >/dev/null && ./test_filereader && ./test_data && ./test_message && ./test_symbol) || (echo "test failed"; exit 1)
+testdie() {
+  echo "test failed"
+  exit 1
+}
+(cd src/lib/ebus/test && make >/dev/null && ./test_filereader && ./test_data && ./test_message && ./test_symbol) || testdie
 
 echo
 echo "*************"