From 39d13269cbcda65243877e1684d1c55ddd66b8b3 Mon Sep 17 00:00:00 2001 From: John Date: Sat, 9 Oct 2021 22:23:36 +0200 Subject: [PATCH] Update make_debian.sh --- make_debian.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/make_debian.sh b/make_debian.sh index b0b63737..68f371cb 100755 --- 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 "*************"