diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-27 09:05:43 +0200 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2019-01-22 01:44:40 +0100 |
| commit | 8310abb3485bdf63fc3557e3020a43f9f9e03927 (patch) | |
| tree | df1b2d16e835b80f8ec565898fdc6262ec657fe9 /archrm.in | |
| parent | 7b095250030dd85684226a6191d739d2f04424a3 (diff) | |
| download | devtools-8310abb3485bdf63fc3557e3020a43f9f9e03927.tar.xz | |
remove empty tree if "--verifysource" failed
makechrootpkg's download_sources() leaves a stray directory if
"makepkg --verifysource" failed. We use "setup_workdir" instead
of "mktemp -d", because this ensures the correct garbage collection.
Signed-off-by: Erich Eckner <git@eckner.net>
Diffstat (limited to 'archrm.in')
0 files changed, 0 insertions, 0 deletions