# HG changeset patch
# User Ilya Tumaykin <itumaykin@gmail.com>
# Date 1456100948 -10800
# Node ID 202e50aa5e08d252a21f4f1dbf3b3fed397213dd
# Parent  932bfee955503787570e405a9e33a927e8905f37
unix: proper quoting in `echo' command

diff -r 932bfee95550 -r 202e50aa5e08 plat/unix/update_tags.sh
--- a/plat/unix/update_tags.sh	Mon Feb 22 03:28:12 2016 +0300
+++ b/plat/unix/update_tags.sh	Mon Feb 22 03:29:08 2016 +0300
@@ -73,7 +73,7 @@
 if [ -f "$TAGS_FILE" ]; then
     if [ "$UPDATED_SOURCE" != "" ]; then
         echo "Removing references to: $UPDATED_SOURCE"
-        echo "grep -v "$UPDATED_SOURCE" \"$TAGS_FILE\" > \"$TAGS_FILE.temp\""
+        echo "grep -v \"$UPDATED_SOURCE\" \"$TAGS_FILE\" > \"$TAGS_FILE.temp\""
         grep -v "$UPDATED_SOURCE" "$TAGS_FILE" > "$TAGS_FILE.temp"
         INDEX_WHOLE_PROJECT=0
     fi