diff options
| author | Ben Longbons <b.r.longbons@gmail.com> | 2013-12-14 19:53:52 -0800 |
|---|---|---|
| committer | Ben Longbons <b.r.longbons@gmail.com> | 2013-12-23 11:52:55 -0800 |
| commit | 98225193b93906351dfe2ad594a390997e301584 (patch) | |
| tree | 6ffab1b1bc435ad17a2b1351699f8aac43e231d3 /tools/apply-filter | |
| parent | afc52a3e6a8dd275d48a5e21cb15086b3ec63b5b (diff) | |
| download | tmwa-98225193b93906351dfe2ad594a390997e301584.tar.gz tmwa-98225193b93906351dfe2ad594a390997e301584.tar.bz2 tmwa-98225193b93906351dfe2ad594a390997e301584.tar.xz tmwa-98225193b93906351dfe2ad594a390997e301584.zip | |
Make a formatter for lex files
Diffstat (limited to 'tools/apply-filter')
| -rwxr-xr-x | tools/apply-filter | 3 |
1 files changed, 2 insertions, 1 deletions
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 |