seitan-run: Drop -x, refine cleanup

If DIR already exists, just remove our entries.

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>

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