changeset 263:d4b73a042976

check for temp tags before moving to avoid error
author Brent Carmer <bcarmer@galois.com>
date Wed, 18 Mar 2020 12:56:08 -0700
parents dc9216fc0c0f
children 2d634600fd6e
files plat/unix/update_tags.sh
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Fri Feb 14 13:12:34 2020 +0800
+++ b/plat/unix/update_tags.sh	Wed Mar 18 12:56:08 2020 -0700
@@ -153,7 +153,9 @@
 
 echo "Replacing tags file"
 echo "mv -f \"$TAGS_FILE.temp\" \"$TAGS_FILE\""
-mv -f "$TAGS_FILE.temp" "$TAGS_FILE"
+if [ -f "$TAGS_FILE.temp" ]; then
+    mv -f "$TAGS_FILE.temp" "$TAGS_FILE"
+fi
 
 echo "Unlocking tags file..."
 rm -f "$TAGS_FILE.lock"