changeset 65:3ae6964078ab

Merge pull request #30 from GitHub.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 15 Jul 2015 23:15:39 -0700
parents 0f5b4a36c920 (current diff) 547df6917df9 (diff)
children 6900302dae0b
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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