diff src/oct-hist.h @ 8273:2c1ba965b486

skip reading history file with --no-history option
author John W. Eaton <jwe@octave.org>
date Thu, 23 Oct 2008 16:01:06 -0400
parents a1dbe9d80eee
children eb63fbe60fab
line wrap: on
line diff
--- a/src/oct-hist.h	Thu Oct 23 15:22:51 2008 -0400
+++ b/src/oct-hist.h	Thu Oct 23 16:01:06 2008 -0400
@@ -28,7 +28,7 @@
 
 #include "cmd-hist.h"
 
-extern void initialize_history (void);
+extern void initialize_history (bool read_history_file = false);
 
 // Write timestamp to history file.
 extern void octave_history_write_timestamp (void);