From 09dcf979f396777aeb822058211f9eb0db4dc238 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Sun, 3 Jan 2021 21:57:01 +0000 Subject: Only report if verbose --- tools/mkdeps.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/mkdeps.py b/tools/mkdeps.py index 241d22d..aa1c7e0 100755 --- a/tools/mkdeps.py +++ b/tools/mkdeps.py @@ -61,7 +61,8 @@ def main(): with open(args.deps, "wt") as fd: fd.write(new) else: - print("%r didn't change, skipping" % args.deps) + if args.verbose: + print("%r didn't change, skipping" % args.deps) if __name__ == "__main__": -- cgit v1.2.3