Printing out the path/name of the resource file that is being sourced.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/base/cmd/cmdUtils.c b/src/base/cmd/cmdUtils.c
index 5fc663fc..f97a2c6a 100644
--- a/src/base/cmd/cmdUtils.c
+++ b/src/base/cmd/cmdUtils.c
@@ -445,11 +445,18 @@ FILE * CmdFileOpen( Abc_Frame_t * pAbc, char *sFileName, char *sMode, char **pFi
         if (sRealName == NULL) {
             sRealName = Extra_UtilTildeExpand(sFileName);
         }
+
         if ((pFile = fopen(sRealName, sMode)) == NULL) {
             if (! silent) {
                 perror(sRealName);
             }
         }
+        else
+        {
+            // print the path/name of the resource file 'abc.rc' that is being loaded
+            if ( strlen(sRealName) >= 6 && strcmp( sRealName + strlen(sRealName) - 6, "abc.rc" ) == 0 )            
+                printf( "Loading resource file \"%s\".\n", sRealName );
+        }
     }
     if ( pFileNameReal )
         *pFileNameReal = sRealName;