# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1465870517 25200
# Node ID db773e26e43b22805e7ae01e27ff2d465ecf38a6
# Parent  e2a43c03da79cf59cbe3d690c216483323fe9dfc# Parent  860558b2f9e88f7f91e3366766408610fa5c92c7
Merge pull request #72 from GitHub.

diff -r e2a43c03da79 -r db773e26e43b plat/unix/update_tags.sh
--- a/plat/unix/update_tags.sh	Mon Jun 13 18:46:35 2016 -0700
+++ b/plat/unix/update_tags.sh	Mon Jun 13 19:15:17 2016 -0700
@@ -73,8 +73,10 @@
 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\""
-        grep -v "$UPDATED_SOURCE" "$TAGS_FILE" > "$TAGS_FILE.temp"
+        tab="	"
+        cmd="grep --text -Ev '^[^$tab]+$tab$UPDATED_SOURCE$tab' '$TAGS_FILE' > '$TAGS_FILE.temp'"
+        echo "$cmd"
+        eval "$cmd" || true
         INDEX_WHOLE_PROJECT=0
     fi
 fi