diff options
Diffstat (limited to 'src/devtools')
| -rw-r--r-- | src/devtools/lib/makechrootpkg.sh.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devtools/lib/makechrootpkg.sh.patch b/src/devtools/lib/makechrootpkg.sh.patch index e1921d7..505b96a 100644 --- a/src/devtools/lib/makechrootpkg.sh.patch +++ b/src/devtools/lib/makechrootpkg.sh.patch @@ -224,7 +224,7 @@ +# Usage: chroot_delete $copydir +chroot_delete() { + local chroottype=$(stat -f -c %T "$copydir") -+ stat_busy "Removing chroot copy [$copy]" ++ stat_busy "Removing chroot copy [$copydir]" if [[ "$chroottype" == btrfs ]]; then btrfs subvolume delete "$copydir" >/dev/null || die "Unable to delete subvolume $copydir" |