diff options
Diffstat (limited to '025trace.cc')
-rw-r--r-- | 025trace.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/025trace.cc b/025trace.cc index 7d295b2f..7bd3e579 100644 --- a/025trace.cc +++ b/025trace.cc @@ -19,3 +19,13 @@ case TRACE: { trace(label) << message; break; } + +:(before "End Primitive Recipe Declarations") +HIDE_WARNINGS, +:(before "End Primitive Recipe Numbers") +Recipe_number["hide-warnings"] = HIDE_WARNINGS; +:(before "End Primitive Recipe Implementations") +case HIDE_WARNINGS: { + Hide_warnings = true; + break; +} |