diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2010-03-03 21:49:22 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-03-03 21:49:22 +0100 |
commit | 17e875f6b315ee7ef60f39345a58529cc44c06ce (patch) | |
tree | 6f6fa67f2affdb13652261728561a57146ffab68 | |
parent | a7c5010d24dd9388c3f6e829c01cf5d72b68d7fb (diff) | |
download | devtools32-0.9.5.tar.xz |
makechrootpkg: Keep source files even if build fails0.9.5
implementes FS#18437
-rwxr-xr-x | makechrootpkg | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/makechrootpkg b/makechrootpkg index a81cba2..c1e78d9 100755 --- a/makechrootpkg +++ b/makechrootpkg @@ -221,15 +221,6 @@ if mkarchroot -r "/chrootbuild" "$copydir"; then fi done - for f in "${copydir}"/srcdest/*; do - [ -e "$f" ] || continue - if [ -d "$SRCDEST" ]; then - mv "$f" "${SRCDEST}" - else - mv "$f" "${WORKDIR}" - fi - done - for l in "${copydir}"/build/*-{build,package}.log; do [ -f "$l" ] && mv "$l" "${WORKDIR}" done @@ -238,6 +229,15 @@ else touch "${copydir}/build/BUILD_FAILED" fi +for f in "${copydir}"/srcdest/*; do + [ -e "$f" ] || continue + if [ -d "$SRCDEST" ]; then + mv "$f" "${SRCDEST}" + else + mv "$f" "${WORKDIR}" + fi +done + if [ -e "${copydir}/build/BUILD_FAILED" ]; then echo "Build failed, check $copydir/build" rm "${copydir}/build/BUILD_FAILED" |