Handle errors nicely even if output is stdout

hackerb9 · Jul 30, 2024 · 7fd1955 · 7fd1955
1 parent b7b9f7f
commit 7fd1955
Showing 1 changed file with 7 additions and 3 deletions.
diff --git 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
 }