Update make_debian.sh

This commit is contained in:
John
2021-10-09 22:23:36 +02:00
committed by GitHub
parent e758a6f686
commit 39d13269cb
+5 -1
View File
@@ -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 "*************"