From 67247b7209967a94d84e20b77f90dbc0ef5de108 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 18 May 2022 10:42:37 -0700
Subject: One less line printed out in the batch mode.

---
 src/base/main/mainUtils.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base')

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" );
-- 
cgit v1.2.3