From ef0fbf03726ced96a8ad09a40721b02c5778e3cb Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Mon, 24 Oct 2011 15:21:08 -0700 Subject: completely silence the "source" command when the -s option is given --- src/base/cmd/cmdUtils.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/cmd/cmdUtils.c b/src/base/cmd/cmdUtils.c index f97a2c6a..683d336e 100644 --- a/src/base/cmd/cmdUtils.c +++ b/src/base/cmd/cmdUtils.c @@ -454,7 +454,7 @@ FILE * CmdFileOpen( Abc_Frame_t * pAbc, char *sFileName, char *sMode, char **pFi 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 ) + if ( !silent && strlen(sRealName) >= 6 && strcmp( sRealName + strlen(sRealName) - 6, "abc.rc" ) == 0 ) printf( "Loading resource file \"%s\".\n", sRealName ); } } -- cgit v1.2.3