diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-06-05 17:00:05 +0200 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-06-05 17:00:05 +0200 |
commit | 44dbd4b6230ce3fe65eface4773605a8c465e93b (patch) | |
tree | e9dee634a5eb0a5cd56819dc836c86a0d76ffd8d | |
parent | 86d22d8b4d075e756284a35323768be8a7ac3762 (diff) | |
download | seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.gz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.bz2 seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.lz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.xz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.zst seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.zip |
seitan-run: restore old behavior
Clean-up the entire DIR.
-rwxr-xr-x | seitan-run | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -16,8 +16,7 @@ usage() { } cleanup() { - rm -rf "${DIR}/*.bpf" - rm -rf "${DIR}/*.gluten" + rm -rf "${DIR}" } trap cleanup EXIT INT |