mirror of https://github.com/YosysHQ/abc.git
disable command history
This commit is contained in:
parent
daad9ede01
commit
896e5e7ded
|
|
@ -30,7 +30,7 @@ ABC_NAMESPACE_IMPL_START
|
|||
/// DECLARATIONS ///
|
||||
////////////////////////////////////////////////////////////////////////
|
||||
|
||||
#define ABC_USE_HISTORY 1
|
||||
// #define ABC_USE_HISTORY 1
|
||||
|
||||
////////////////////////////////////////////////////////////////////////
|
||||
/// FUNCTION DEFINITIONS ///
|
||||
|
|
|
|||
Loading…
Reference in New Issue