# HG changeset patch
# User Gerhard Siegesmund <gerhard.siegesmund@btd.de>
# Date 1433160904 -7200
# Node ID 547df6917df9f0ccccad3353184bc325e2b89bb2
# Parent  9e768b83d701bda056028cdabf731107f805a787
Without an exit in the trap, the remainig commands still get executed.

diff -r 9e768b83d701 -r 547df6917df9 plat/unix/update_tags.sh
--- a/plat/unix/update_tags.sh	Sat May 16 21:51:17 2015 -0700
+++ b/plat/unix/update_tags.sh	Mon Jun 01 14:15:04 2015 +0200
@@ -67,7 +67,7 @@
 echo $$ > "$TAGS_FILE.lock"
 
 # Remove lock and temp file if script is stopped unexpectedly.
-trap "rm -f \"$TAGS_FILE.lock\" \"$TAGS_FILE.temp\"" 0 3 4 15
+trap "errorcode=$?; rm -f \"$TAGS_FILE.lock\" \"$TAGS_FILE.temp\"; exit $errorcode" INT TERM EXIT
 
 if [ -f "$TAGS_FILE" ]; then
     if [ "$UPDATED_SOURCE" != "" ]; then