1 files changed, 2 insertions, 1 deletions
diff --git a/seitan-run b/seitan-run
index d22eee2..60bc3b1 100755
--- a/seitan-run
+++ b/seitan-run
@@ -16,7 +16,8 @@ usage() {
 }
 
 cleanup() {
-	rm -rf "${DIR}"
+	rm -rf "${DIR}/*.bpf"
+	rm -rf "${DIR}/*.gluten"
 }
 
 trap cleanup EXIT INT