diff --git a/scripts/integrate-distro.sh b/scripts/integrate-distro.sh index da936e51..20d5a0b4 100644 --- a/scripts/integrate-distro.sh +++ b/scripts/integrate-distro.sh @@ -820,7 +820,7 @@ mount_devices() unmount_devices() { - local devices="$ssh_auth_sock /srv/ftp /proc /sys /dev /boot /" + local devices="$ssh_auth_sock /srv/ftp /proc/fs/nfsd /proc /sys /dev /boot /" [ "$1" ] && devices="$@" local sync=/usr/bin/sync [ -x $root/$sync ] || sync="" @@ -828,6 +828,7 @@ unmount_devices() for d in $devices; do check_mount $d && { [ "$sync" -a -e $root$d -a $d != $ssh_auth_sock ] && run $sync -f $root$d + [ "$d" = /dev ] && sleep 2 # need to do this, otherwise dev is busy, no idea why run umount $root$d } done