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 ""