diff options
Diffstat (limited to 'pbuilder-modules')
-rw-r--r-- | pbuilder-modules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pbuilder-modules b/pbuilder-modules index ad833d9..71fbfea 100644 --- a/pbuilder-modules +++ b/pbuilder-modules @@ -75,6 +75,11 @@ EOF } function umount_one () { + if [ "${IGNORE_UMOUNT}" = "yes" ]; then + # support ignore umount option. + echo " -> ignoring umount of $1 filesystem" + return + fi echo " -> unmounting $1 filesystem" if ! umount "$BUILDPLACE/$1"; then echo "W: Retrying to unmount $1" |