diff options
-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 |
index : seitan | |
Syscall Expressive Interpreter, Transformer and Notifier |
aboutgitcodelistschat:MatrixIRC |
-rwxr-xr-x | seitan-run | 3 |
@@ -16,8 +16,7 @@ usage() { } cleanup() { - rm -rf "${DIR}/*.bpf" - rm -rf "${DIR}/*.gluten" + rm -rf "${DIR}" } trap cleanup EXIT INT |