Commit a555f19e authored by Holger Levsen's avatar Holger Levsen
Browse files

reproducible maintenance: deal gracefully with unmount probs 



Signed-off-by: default avatarHolger Levsen <holger@layer-acht.org>
parent 66c8eee0

bin/reproducible_maintenance.sh

+1 −1
Original line number Diff line number Diff line
@@ -415,7 +415,7 @@ if [ ! -z "$OLDSTUFF" ] ; then 
	# try to unmount mounts first

	for MP in $(find /schroots/ -maxdepth 1 -type d -regextype posix-extended -regex "$regex" -mtime +2 ) ; do

		if [ -d $MP/proc ] ; then

			sudo umount -l $MP/proc 2>/dev/null

			sudo umount -l $MP/proc 2>/dev/null || echo "umount -l $MP/proc failed, continueing."

		fi

	done

	echo