# HG changeset patch
# User Chayoung You <yousbe@gmail.com>
# Date 1554709335 -32400
# Node ID 89b41690f374a7a84677c0e5b965ab9e7b5d1cd6
# Parent  d3f9a92399d194554276447f9b6cd1372d3c1b64
Check if there are files to generate cscope DB

diff -r d3f9a92399d1 -r 89b41690f374 plat/unix/update_scopedb.sh
--- a/plat/unix/update_scopedb.sh	Wed Mar 13 21:56:19 2019 -0700
+++ b/plat/unix/update_scopedb.sh	Mon Apr 08 16:42:15 2019 +0900
@@ -88,6 +88,12 @@
         echo "\"${l}\""
     done > "${DB_FILE}.files"
 fi
+
+if [ ! -s "${DB_FILE}.files" ]; then
+    echo "There is no files to generate cscope DB"
+    exit
+fi
+
 CSCOPE_ARGS="${CSCOPE_ARGS} -i ${DB_FILE}.files"
 
 if [ "$BUILD_INVERTED_INDEX" -eq 1 ]; then
diff -r d3f9a92399d1 -r 89b41690f374 plat/win32/update_scopedb.cmd
--- a/plat/win32/update_scopedb.cmd	Wed Mar 13 21:56:19 2019 -0700
+++ b/plat/win32/update_scopedb.cmd	Mon Apr 08 16:42:15 2019 +0900
@@ -74,6 +74,14 @@
 ) ELSE (
     for /F "usebackq delims=" %%F in (`dir /S /B /A-D .`) do @echo "%%F">%DB_FILE%.files
 )
+
+set FILESIZE=0
+for /F %%F in ("%DB_FILE%.files") do set FILESIZE=%%~zF
+if %FILESIZE% EQU 0 (
+    echo There is no files to generate cscope DB
+    goto :EOF
+)
+
 set CSCOPE_ARGS=%CSCOPE_ARGS% -i %DB_FILE%.files
 if ["%BUILD_INVERTED_INDEX%"]==["1"] (
     set CSCOPE_ARGS=%CSCOPE_ARGS% -q