# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1437027339 25200
# Node ID 3ae6964078ab9fde864855ca763379190ad0ee43
# Parent  0f5b4a36c920fd10649329d153a43b308835eb04# Parent  547df6917df9f0ccccad3353184bc325e2b89bb2
Merge pull request #30 from GitHub.

diff -r 0f5b4a36c920 -r 3ae6964078ab plat/unix/update_tags.sh
--- a/plat/unix/update_tags.sh	Wed Jul 15 22:58:56 2015 -0700
+++ b/plat/unix/update_tags.sh	Wed Jul 15 23:15:39 2015 -0700
@@ -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