From 7fd19551830c07d195f85e5d209d0c37de68d17e Mon Sep 17 00:00:00 2001 From: b9 Date: Tue, 30 Jul 2024 00:31:39 -0700 Subject: [PATCH] Handle errors nicely even if output is stdout --- tokenize | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/tokenize b/tokenize index 7e0454f..ed39f5f 100755 --- a/tokenize +++ b/tokenize @@ -79,10 +79,14 @@ function main() { m100-sanity "$f" | m100-tokenize > "$g" || fail=1 fi - echo fail is $fail if [[ $fail -gt 0 ]]; then - echo "Error detected, removing '$g'" >&2 - rm "$g" + echo -n "Error detected" + if [[ $g != "-" ]]; then + echo ", removing '$g'" >&2 + rm "$g" + else + echo + fi exit 1 fi }