diff options
Diffstat (limited to '011load.cc')
-rw-r--r-- | 011load.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/011load.cc b/011load.cc index 7135b548..978d2fae 100644 --- a/011load.cc +++ b/011load.cc @@ -204,12 +204,12 @@ void skip_comma(istream& in) { //: step on their own toes. But there'll be many occasions later where //: we'll want to disable the warnings. :(before "End Globals") -bool Hide_redefine_warnings = false; +bool Disable_redefine_warnings = false; :(before "End Setup") -Hide_redefine_warnings = false; +Disable_redefine_warnings = false; :(code) bool warn_on_redefine(const string& recipe_name) { - if (Hide_redefine_warnings) return false; + if (Disable_redefine_warnings) return false; return true; } |