diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-27 08:37:47 +0200 |
| commit | ddbcfa0c2dfc7b6a95690767e436c8b52b5adcba (patch) | |
| tree | 5dab276882e2068d0a166386a80113ec172b1bed /archrm.in | |
| parent | 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (diff) | |
| download | devtools32-ddbcfa0c2dfc7b6a95690767e436c8b52b5adcba.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.
Diffstat (limited to 'archrm.in')
0 files changed, 0 insertions, 0 deletions