changeset 106:202e50aa5e08

unix: proper quoting in `echo' command
author Ilya Tumaykin <itumaykin@gmail.com>
date Mon, 22 Feb 2016 03:29:08 +0300
parents 932bfee95550
children 6539ab2d189b
files plat/unix/update_tags.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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