diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-05-02 15:16:53 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-05-02 15:16:53 +0200 |
| commit | 52e140f2fe6633c248438416c9c0ff5d2e015ee1 (patch) | |
| tree | ef3124a808d9587e1a5d9382573f36bbbbea8267 | |
| parent | 48dead1af7cff7efc12f955775ee9858399a3321 (diff) | |
| download | devtools32-52e140f2fe6633c248438416c9c0ff5d2e015ee1.tar.xz | |
exit 1 on build failure
| -rwxr-xr-x | makechrootpkg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makechrootpkg b/makechrootpkg index c1e78d9..fa1070a 100755 --- a/makechrootpkg +++ b/makechrootpkg @@ -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 |