diff options
| author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-05 22:40:35 +0200 |
|---|---|---|
| committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-05 22:40:35 +0200 |
| commit | 9c371d77e843163261d28e374f4ea7dab2e3f64d (patch) | |
| tree | 00e8708c548f78b723e774949affc43a9f7865a6 /common | |
| parent | 44dbd4b6230ce3fe65eface4773605a8c465e93b (diff) | |
| download | seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar.gz seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar.bz2 seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar.lz seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar.xz seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.tar.zst seitan-9c371d77e843163261d28e374f4ea7dab2e3f64d.zip | |
seitan-run: Drop -x, refine cleanup
If DIR already exists, just remove our entries.
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions