diff src/oct-hist.cc @ 1643:5e108d51e370

[project @ 1995-12-08 22:13:06 by jwe]
author jwe
date Fri, 08 Dec 1995 22:15:20 +0000
parents 50e71230d582
children 23ff3d50ab76
line wrap: on
line diff
--- a/src/oct-hist.cc
+++ b/src/oct-hist.cc
@@ -138,7 +138,7 @@
 void
 maybe_save_history (const char *s)
 {
-  if (user_pref.saving_history)
+  if (user_pref.saving_history && ! input_from_startup_file)
     {
       add_history (s);
       history_lines_this_session++;