diff src/variables.cc @ 3165:e4bbfc196e53

[project @ 1998-04-16 03:01:47 by jwe]
author jwe
date Thu, 16 Apr 1998 03:05:03 +0000
parents 7c96e85c76db
children 09a3064a3a17
line wrap: on
line diff
--- a/src/variables.cc	Tue Apr 14 20:56:53 1998 +0000
+++ b/src/variables.cc	Thu Apr 16 03:05:03 1998 +0000
@@ -41,6 +41,7 @@
 #include "error.h"
 #include "gripes.h"
 #include "help.h"
+#include "input.h"
 #include "lex.h"
 #include "oct-map.h"
 #include "oct-obj.h"
@@ -510,14 +511,19 @@
 		 || (Vignore_function_time_stamp
 		     && tmp->is_system_fcn_file ())))
 	    {
-	      time_t tp = tmp->time_parsed ();
+	      if (tmp->time_checked () < Vlast_prompt_time)
+		{
+		  time_t tp = tmp->time_parsed ();
 
-	      string fname = fcn_file_in_path (ff);
+		  string fname = fcn_file_in_path (ff);
 
-	      file_stat fs (fname);
+		  tmp->mark_fcn_file_up_to_date (time (0));
+
+		  file_stat fs (fname);
 
-	      if (fs && fs.is_newer (tp))
-		retval = true;
+		  if (fs && fs.is_newer (tp))
+		    retval = true;
+		}
 	    }
 	}
     }