diff options
Diffstat (limited to 'pbuilder-modules')
| -rw-r--r-- | pbuilder-modules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pbuilder-modules b/pbuilder-modules index 2648fb4..9289ca6 100644 --- a/pbuilder-modules +++ b/pbuilder-modules @@ -112,6 +112,9 @@ function umountproc () { umount_one "dev" fi if [ "$USEPROC" = "yes" ]; then + if [ -e $BUILDPLACE/proc/sys/fs/binfmt_misc/status ]; then + umount_one "proc/sys/fs/binfmt_misc" + fi umount_one "proc" fi for mnt in $BINDMOUNTS; do |