diff options
Diffstat (limited to 'src/base/cmd/cmdHist.c')
-rw-r--r-- | src/base/cmd/cmdHist.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/base/cmd/cmdHist.c b/src/base/cmd/cmdHist.c index ed1d2efa..a9e2d18d 100644 --- a/src/base/cmd/cmdHist.c +++ b/src/base/cmd/cmdHist.c @@ -49,9 +49,11 @@ void Cmd_HistoryAddCommand( Abc_Frame_t * p, const char * command ) { int nLastLooked = 10; // do not add history if the same entry appears among the last entries int nLastSaved = 500; // when saving a file, save no more than this number of last entries - char Buffer[ABC_MAX_STR]; - int Len = strlen(command); + int Len; + if ( p->fBatchMode ) + return; + Len = strlen(command); strcpy( Buffer, command ); if ( Buffer[Len-1] == '\n' ) Buffer[Len-1] = 0; |