diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-27 19:57:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-27 19:57:44 -0700 |
| commit | a6bfd49591d73af7278ba3b85be86a55b04e55ab (patch) | |
| tree | 95740cd0f923a2e519046ef078e89259dd2ebcfb /src/base/main | |
| parent | da6838463fedf0821f542dcc3a4451bfe1ca3abd (diff) | |
| download | abc-a6bfd49591d73af7278ba3b85be86a55b04e55ab.tar.gz abc-a6bfd49591d73af7278ba3b85be86a55b04e55ab.tar.bz2 abc-a6bfd49591d73af7278ba3b85be86a55b04e55ab.zip | |
Improved printout of command history.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/main/main.c b/src/base/main/main.c index 82ed3def..80d81c28 100644 --- a/src/base/main/main.c +++ b/src/base/main/main.c @@ -268,8 +268,11 @@ int Abc_RealMain( int argc, char * argv[] ) else { // start interactive mode + // print the hello line Abc_UtilsPrintHello( pAbc ); + // print history of the recent commands + Cmd_HistoryPrint( pAbc, 10 ); // source the resource file if ( fInitSource ) |