comparison src/parse.y @ 3531:97cf542676e1

[project @ 2000-02-02 11:30:40 by jwe]
author jwe
date Wed, 02 Feb 2000 11:33:32 +0000
parents 6cfa474c5b99
children 096ad38d7ab5
comparison
equal deleted inserted replaced
3530:7a23cbae0393 3531:97cf542676e1
2732 input_line_number = 0; 2732 input_line_number = 0;
2733 current_input_column = 1; 2733 current_input_column = 1;
2734 2734
2735 if (verbose) 2735 if (verbose)
2736 { 2736 {
2737 cout << "reading commands from " << s << " ... "; 2737 std::cout << "reading commands from " << s << " ... ";
2738 reading_startup_message_printed = true; 2738 reading_startup_message_printed = true;
2739 cout.flush (); 2739 std::cout.flush ();
2740 } 2740 }
2741 2741
2742 parse_and_execute (f); 2742 parse_and_execute (f);
2743 2743
2744 if (verbose) 2744 if (verbose)
2745 cout << "done." << endl; 2745 std::cout << "done." << endl;
2746 } 2746 }
2747 else if (warn_for) 2747 else if (warn_for)
2748 error ("%s: unable to open file `%s'", warn_for, s.c_str ()); 2748 error ("%s: unable to open file `%s'", warn_for, s.c_str ());
2749 2749
2750 unwind_protect::run_frame ("parse_and_execute_2"); 2750 unwind_protect::run_frame ("parse_and_execute_2");