diff options
author | dancer <dancer> | 2001-11-23 14:54:08 +0000 |
---|---|---|
committer | dancer <dancer> | 2001-11-23 14:54:08 +0000 |
commit | 0dec070c91c169b48c89097fb7edc650362983f9 (patch) | |
tree | 36b35de2276b58513893d242e078ed8197269afd /pbuilder-modules | |
parent | 44081af78cb038f36cc340f3b197bc6588bc4cd7 (diff) | |
download | pbuilder-0dec070c91c169b48c89097fb7edc650362983f9.tar pbuilder-0dec070c91c169b48c89097fb7edc650362983f9.tar.gz |
hooks to do more things when umounting of proc fails
Diffstat (limited to 'pbuilder-modules')
-rw-r--r-- | pbuilder-modules | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/pbuilder-modules b/pbuilder-modules index 2ca91ef..a19c565 100644 --- a/pbuilder-modules +++ b/pbuilder-modules @@ -52,7 +52,21 @@ EOF function umountproc () { if [ "$USEPROC" = "yes" ]; then echo " -> unmounting proc" - umount "$BUILDPLACE/proc" + if ! umount "$BUILDPLACE/proc"; then + echo "W: Retrying to unmount proc" + sleep 5s + while ! umount "$BUILDPLACE/proc"; do + sleep 5s + cat <<EOF + + Could not unmount /proc, there might be some program + still using files in /proc (klogd?). + Please check and kill it so that I can unmount /proc + +EOF + chroot "$BUILDPLACE" bin/sh + done + fi fi } |