1 files changed, 3 insertions, 2 deletions
diff --git a/seitan-run b/seitan-run
index d22eee2..88cdcf0 100755
--- a/seitan-run
+++ b/seitan-run
@@ -1,4 +1,4 @@
-#!/bin/sh -ex
+#!/bin/sh -e
 #
 # SPDX-License-Identifier: GPL-2.0-or-later
 #
@@ -16,7 +16,8 @@ usage() {
 }
 
 cleanup() {
-	rm -rf "${DIR}"
+	rm -rf "${DIR}/gluten" "${DIR}/bpf" "${DIR}/eater.pid"
+	rmdir "${DIR}" 2>/dev/null || :
 }
 
 trap cleanup EXIT INT