changeset 213:2c30656d5f3b

Merge pull request 185 from Github.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 12 Jun 2018 21:38:30 -0700
parents 011d855724bf (current diff) 11e5b14332fd (diff)
children 179683b0f54c
files
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Tue Jun 12 21:11:53 2018 -0700
+++ b/plat/unix/update_tags.sh	Tue Jun 12 21:38:30 2018 -0700
@@ -117,6 +117,8 @@
             done > "${TAGS_FILE}.files"
         fi
         CTAGS_ARGS="${CTAGS_ARGS} -L ${TAGS_FILE}.files"
+        # Clear project root if we have a file list
+        PROJECT_ROOT=""
     fi
     echo "Running ctags on whole project"
     echo "$CTAGS_EXE -f \"$TAGS_FILE.temp\" $CTAGS_ARGS \"$PROJECT_ROOT\""