diff options
Diffstat (limited to 'seitan-run')
-rwxr-xr-x | seitan-run | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -16,7 +16,8 @@ usage() { } cleanup() { - rm -rf "${DIR}" + rm -rf "${DIR}/*.bpf" + rm -rf "${DIR}/*.gluten" } trap cleanup EXIT INT |