From 9c371d77e843163261d28e374f4ea7dab2e3f64d Mon Sep 17 00:00:00 2001 From: Stefano Brivio Date: Mon, 5 Jun 2023 22:40:35 +0200 Subject: seitan-run: Drop -x, refine cleanup If DIR already exists, just remove our entries. Signed-off-by: Stefano Brivio --- seitan-run | 5 +++-- 1 file 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 -- cgit v1.2.3