diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 12:25:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 12:25:53 -0700 |
| commit | 7e2b00776213f86f54b9aa601e8593951b9de7d0 (patch) | |
| tree | bc8d5f545162d5abf1fab5b4d54d3ae922042b12 /src/base/main | |
| parent | 4a9152d0e1af415b7890b9a501b989b6472dbac8 (diff) | |
| download | abc-7e2b00776213f86f54b9aa601e8593951b9de7d0.tar.gz abc-7e2b00776213f86f54b9aa601e8593951b9de7d0.tar.bz2 abc-7e2b00776213f86f54b9aa601e8593951b9de7d0.zip | |
Added recording history of used commands into file 'abc.history' (Windows only).
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainInt.h | 1 | ||||
| -rw-r--r-- | src/base/main/mainUtils.c | 9 |
2 files changed, 2 insertions, 8 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 6ed12786..5c30f7c0 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -68,6 +68,7 @@ struct Abc_Frame_t_ Abc_Ntk_t * pNtkBestDelay; // the current network Abc_Ntk_t * pNtkBestArea; // the current network int nSteps; // the counter of different network processed + int fSource; // marks the source mode int fAutoexac; // marks the autoexec mode int fBatchMode; // batch mode flag int fBridgeMode; // bridge mode flag diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index f0d602d3..b46ffaea 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -203,6 +203,7 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc ) } else #endif /* #ifdef ABC_PYTHON_EMBED */ + { char * sPath1, * sPath2; char * home; @@ -252,14 +253,6 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc ) } #endif //WIN32 - { - // reset command history - char * pName; - int i; - Vec_PtrForEachEntry( char *, pAbc->aHistory, pName, i ) - ABC_FREE( pName ); - pAbc->aHistory->nSize = 0; - } } /**Function******************************************************************** |