From ed6249fee638437005028a8d520b61791f64ff1e Mon Sep 17 00:00:00 2001
From: Tomas Babej <tomas@tbabej.com>
Date: Wed, 15 Sep 2021 21:59:58 -0400
Subject: [PATCH] Context: Make default/override imply header

---
 src/Context.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/Context.cpp b/src/Context.cpp
index bc1885948..fc2eea81e 100644
--- a/src/Context.cpp
+++ b/src/Context.cpp
@@ -1071,6 +1071,19 @@ bool Context::verbose (const std::string& token)
         }
       }
     }
+
+    // Some flags imply "header" verbosity being active.  Make it so.
+    if (! verbosity.count ("header"))
+    {
+      for (auto flag : {"default", "override"})
+      {
+        if (verbosity.count (flag))
+        {
+          verbosity.insert ("header");
+          break;
+        }
+      }
+    }
   }
 
   // rc.verbose=true|y|yes|1|on overrides all.