diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 11:29:42 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 11:29:42 -0800 |
| commit | a0b9fa55a0e00a9dcf82ecfa081152ab5296b424 (patch) | |
| tree | 3711a95df99bf2b411af1c65c9c008c5cb3d7433 /091run_interactive.cc | |
| parent | 05331766a971ecd1c3df236af0b374ae039b1142 (diff) | |
| download | mu-a0b9fa55a0e00a9dcf82ecfa081152ab5296b424.tar.gz | |
2704 - eradicate all mention of warnings from core
Diffstat (limited to '091run_interactive.cc')
| -rw-r--r-- | 091run_interactive.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/091run_interactive.cc b/091run_interactive.cc index 83a732da..e570dee2 100644 --- a/091run_interactive.cc +++ b/091run_interactive.cc @@ -112,7 +112,7 @@ void run_code_begin(bool snapshot_recently_added_recipes) { //? cerr << "loading new trace\n"; // stuff to undo later, in run_code_end() Hide_errors = true; - Disable_redefine_errors = true; + Disable_redefine_checks = true; if (snapshot_recently_added_recipes) { Save_recently_added_recipes = Recently_added_recipes; Recently_added_recipes.clear(); @@ -129,7 +129,7 @@ void run_code_begin(bool snapshot_recently_added_recipes) { void run_code_end() { //? cerr << "back to old trace\n"; Hide_errors = false; - Disable_redefine_errors = false; + Disable_redefine_checks = false; delete Trace_stream; Trace_stream = Save_trace_stream; Save_trace_stream = NULL; |