summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-16 15:04:56 +0200
committerErich Eckner <git@eckner.net>2019-12-27 21:37:14 +0100
commit28fcc1eea750c5664a2c075a0068fe9d379b8b7d (patch)
tree13ef03ece8d400ec76129d77964af736d9efb2ed /Makefile
parent37990ff99f6c909cbf8a96fb353cd639e24f0069 (diff)
downloaddevtools32-v20191227.tar.xz
archbuild.in: umount -l left-over mounts inside the to-be-deleted chrootv20191227
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions