build.plat: make `verbose` work like all other overrides.

Fixes #497.

diff --git a/nmigen/build/plat.py b/nmigen/build/plat.py
index 750a4779f904e5d936c38f8e85b1e45456614be2..c1d8fc693c0c180d56f319433889b10125ee573e 100644 (file)
--- a/nmigen/build/plat.py
+++ b/nmigen/build/plat.py
@@ -396,13 +396,13 @@ class TemplatedPlatform(Platform):
             return '"' + re.sub(r"([$[\\])", r"\\\1", string) + '"'
 
         def verbose(arg):
-            if "NMIGEN_verbose" in os.environ:
+            if get_override("verbose"):
                 return arg
             else:
                 return jinja2.Undefined(name="quiet")
 
         def quiet(arg):
-            if "NMIGEN_verbose" in os.environ:
+            if get_override("verbose"):
                 return jinja2.Undefined(name="quiet")
             else:
                 return arg