diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-08 13:23:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-08 13:23:29 -0700 |
commit | d533f1821921a2bf813b71700029a529ed8edecc (patch) | |
tree | 58056ee8eeeea76c93de806cbf7ab757184fa326 /src/base | |
parent | 6c3363f777b492381310c766f18bf8fc7605289a (diff) | |
download | abc-d533f1821921a2bf813b71700029a529ed8edecc.tar.gz abc-d533f1821921a2bf813b71700029a529ed8edecc.tar.bz2 abc-d533f1821921a2bf813b71700029a529ed8edecc.zip |
Adding printout to report command line executed in batch mode.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/main/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
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; |