diff src/variables.cc @ 1516:14d8c0a838c1

[project @ 1995-10-03 13:21:12 by jwe]
author jwe
date Tue, 03 Oct 1995 13:22:22 +0000
parents 74f9e88a2c12
children 5a02b9fba19e
line wrap: on
line diff
--- a/src/variables.cc
+++ b/src/variables.cc
@@ -706,10 +706,12 @@
 	  unwind_protect_int (echo_input);
 	  unwind_protect_int (saving_history);
 	  unwind_protect_int (reading_fcn_file);
+	  unwind_protect_int (input_from_command_line_file);
 
 	  echo_input = 0;
 	  saving_history = 0;
 	  reading_fcn_file = 1;
+	  input_from_command_line_file = 0;
 
 	  YY_BUFFER_STATE old_buf = current_buffer ();
 	  YY_BUFFER_STATE new_buf = create_buffer (ffile);