diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:42:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:42:37 -0700 |
| commit | 67247b7209967a94d84e20b77f90dbc0ef5de108 (patch) | |
| tree | 2cdda11bc5f2dfe0941462ba3bdf0fa1c65c3e7d /src/base | |
| parent | 3d19d411b2417752cc3e64cd93cb7649f29e7276 (diff) | |
| download | abc-67247b7209967a94d84e20b77f90dbc0ef5de108.tar.gz abc-67247b7209967a94d84e20b77f90dbc0ef5de108.tar.bz2 abc-67247b7209967a94d84e20b77f90dbc0ef5de108.zip | |
One less line printed out in the batch mode.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/main/mainUtils.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index 377299fd..bb6d0a31 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -160,7 +160,7 @@ void Abc_UtilsPrintUsage( Abc_Frame_t * pAbc, char * ProgName ) void Abc_UtilsSource( Abc_Frame_t * pAbc ) { #ifdef WIN32 - if ( Cmd_CommandExecute(pAbc, "source abc.rc") ) + if ( Cmd_CommandExecute(pAbc, "source -s abc.rc") ) { if ( Cmd_CommandExecute(pAbc, "source ..\\abc.rc") == 0 ) printf( "Loaded \"abc.rc\" from the parent directory.\n" ); |