From 98225193b93906351dfe2ad594a390997e301584 Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Sat, 14 Dec 2013 19:53:52 -0800
Subject: Make a formatter for lex files

---
 tools/apply-filter | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools/apply-filter')

diff --git a/tools/apply-filter b/tools/apply-filter
index 6d36be4..a1cd79d 100755
--- a/tools/apply-filter
+++ b/tools/apply-filter
@@ -2,9 +2,10 @@
 # Apply a filter command to a set of files
 
 filter=$1; shift
+trap 'rm -f "$arg.tmp"' EXIT
 for arg
 do
     echo apply-filter "$filter" "$arg"
-    bash -c "$filter" < "$arg" > "$arg.tmp"
+    bash -c "set -o pipefail; $filter" < "$arg" > "$arg.tmp"
     maybe-mv "$arg.tmp" "$arg"
 done
-- 
cgit v1.2.3-70-g09d2