diff options
| -rw-r--r-- | src/base/cmd/cmdUtils.c | 7 | 
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;  | 
