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 "*************"