# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1541994183 28800
# Node ID 174cfa3cf21a9ec1e20cc3d45a28e3dac0e9042d
# Parent  a746af898281a3f0adbbfab1a5336d97579d17c7# Parent  6110cf824e502f2b5f25430b165a9847ff079009
Merge pull request 207 from Github.

diff -r a746af898281 -r 174cfa3cf21a plat/unix/update_scopedb.sh
--- 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