From d533f1821921a2bf813b71700029a529ed8edecc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 8 Jul 2012 13:23:29 -0700
Subject: Adding printout to report command line executed in batch mode.

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

(limited to 'src/base/main/main.c')

diff --git a/src/base/main/main.c b/src/base/main/main.c
index b7d1c0a8..62575ed8 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -142,6 +142,7 @@ int Abc_RealMain( int argc, char * argv[] )
         switch(c) {
             case 'c':
                 strcpy( sCommandUsr, globalUtilOptarg );
+                printf( "ABC command line: \"%s\".\n", sCommandUsr );
                 fBatch = 1;
                 break;
                 
-- 
cgit v1.2.3