Commit 52e140f2 authored by Pierre Schmitz's avatar Pierre Schmitz
Browse files

exit 1 on build failure

parent 48dead1a
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -241,6 +241,7 @@ done
if [ -e "${copydir}/build/BUILD_FAILED" ]; then
	echo "Build failed, check $copydir/build"
	rm "${copydir}/build/BUILD_FAILED"
	exit 1
else
	rm -rf "${copydir}"/build/*
fi