From 257a3fbfc839be9d056b38b6a1110a1550253d79 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Sun, 5 Jan 2014 18:53:16 -0500 Subject: chroot-tools: make patch not reject new bugfix in devtools-par --- src/chroot-tools/makechrootpkg.sh.patch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/chroot-tools/makechrootpkg.sh.patch b/src/chroot-tools/makechrootpkg.sh.patch index 672da83..d6c96f9 100644 --- a/src/chroot-tools/makechrootpkg.sh.patch +++ b/src/chroot-tools/makechrootpkg.sh.patch @@ -1,5 +1,5 @@ ---- makechrootpkg.sh.in 2014-01-05 00:02:08.650446097 -0500 -+++ makechrootpkg.sh.ugly 2014-01-05 00:20:01.914448010 -0500 +--- makechrootpkg.sh.in 2014-01-05 18:51:41.463720929 -0500 ++++ makechrootpkg.sh.ugly 2014-01-05 18:52:41.624501065 -0500 @@ -12,6 +12,7 @@ shopt -s nullglob @@ -110,7 +110,7 @@ + local chroottype=$(stat -f -c %T "$copydir") + + stat_busy "Removing chroot copy [%s]" "$copy" - if [[ "$chroottype" == btrfs ]]; then + if [[ "$chroottype" == btrfs ]] && ! mountpoint -q "$copydir"; then btrfs subvolume delete "$copydir" >/dev/null || die "Unable to delete subvolume %s" "$copydir" @@ -178,9 +201,14 @@ -- cgit v1.2.2