From 9a5080d7be55b97ca61eda28327796c682db63dc Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jan@jantuomi.fi>
Date: Thu, 13 Nov 2025 13:36:23 +0200
Subject: Add "set -e" to all tools

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

(limited to 'tools/filter')

diff --git a/tools/filter b/tools/filter
index 94258d0..1c927be 100755
--- a/tools/filter
+++ b/tools/filter
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 if [ -z "$1" ]; then
     echo "Usage: $0 <command>"
     echo ""
-- 
cgit v1.3