changeset 225:174cfa3cf21a

Merge pull request 207 from Github.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 11 Nov 2018 19:43:03 -0800
parents a746af898281 (current diff) 6110cf824e50 (diff)
children f2fd7d5835d9
files
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_scopedb.sh	Sun Nov 04 00:40:48 2018 -0700
+++ b/plat/unix/update_scopedb.sh	Sun Nov 11 19:43:03 2018 -0800
@@ -62,10 +62,10 @@
 
 if [ -n "${FILE_LIST_CMD}" ]; then
     if [ "${PROJECT_ROOT}" = "." ]; then
-        $FILE_LIST_CMD > "${DB_FILE}.files"
+        eval "$FILE_LIST_CMD" > "${DB_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 > "${DB_FILE}.files"
     fi