changeset 34:a3ef2402ca09

Merge changes.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 07 Nov 2014 13:18:32 -0800
parents 9d0c166bc9ac (current diff) aed756d6934e (diff)
children c9dfccf3c2f7
files plat/unix/update_tags.sh
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Fri Nov 07 13:15:20 2014 -0800
+++ b/plat/unix/update_tags.sh	Fri Nov 07 13:18:32 2014 -0800
@@ -65,6 +65,9 @@
 echo "Locking tags file..."
 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
+
 if [ -f "$TAGS_FILE" ]; then
     if [ "$UPDATED_SOURCE" != "" ]; then
         echo "Removing references to: $UPDATED_SOURCE"