changeset 176:3d7f2bf017fd

Merge pull request #122 from GitHub.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 11 Mar 2017 21:50:00 -0800
parents 721cba3cd20d (current diff) 7c879d2e9b69 (diff)
children 8bac4b955c84
files
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Wed Feb 22 00:42:49 2017 +0200
+++ b/plat/unix/update_tags.sh	Sat Mar 11 21:50:00 2017 -0800
@@ -104,10 +104,10 @@
 if [ $INDEX_WHOLE_PROJECT -eq 1 ]; then
     if [ -n "${FILE_LIST_CMD}" ]; then
         if [ "${PROJECT_ROOT}" = "." ] || [ $FILE_LIST_CMD_IS_ABSOLUTE -eq 1 ]; then
-            $FILE_LIST_CMD > "${TAGS_FILE}.files"
+            eval $FILE_LIST_CMD > "${TAGS_FILE}.files"
         else
             # If using a tags cache directory, use absolute paths
-            $FILE_LIST_CMD | while read -r l; do
+            eval $FILE_LIST_CMD | while read -r l; do
                 echo "${PROJECT_ROOT%/}/${l}"
             done > "${TAGS_FILE}.files"
         fi