aboutsummaryrefslogtreecommitdiffstats
path: root/tools/map
diff options
context:
space:
mode:
authorJan Tuomi <jan@jantuomi.fi>2025-11-13 13:36:23 +0200
committerJan Tuomi <jan@jantuomi.fi>2025-11-13 13:36:23 +0200
commit9a5080d7be55b97ca61eda28327796c682db63dc (patch)
tree5b3c599df19fc7f36fbab4d099a7961c971082d4 /tools/map
parent3df80b5afbebbf3af63b49fe98a3faecd2b68439 (diff)
Add "set -e" to all tools
Diffstat (limited to 'tools/map')
-rwxr-xr-xtools/map2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/map b/tools/map
index 8c4e5ef..2862a62 100755
--- a/tools/map
+++ b/tools/map
@@ -1,5 +1,7 @@
#!/bin/sh
+set -e
+
if [ -z "$1" ]; then
echo "Usage: $0 <expr>"
echo ""