# HG changeset patch
# User Brent Carmer <bcarmer@galois.com>
# Date 1584561368 25200
# Node ID d4b73a042976df358e56d3b23f18a30a9aaf0b2b
# Parent  dc9216fc0c0fe3eddb46962b93ad6c30c0dcab89
check for temp tags before moving to avoid error

diff -r dc9216fc0c0f -r d4b73a042976 plat/unix/update_tags.sh
--- 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"