diff options
author | Juan J. Martinez <jjm@usebox.net> | 2021-01-03 21:57:01 +0000 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2021-01-03 21:57:01 +0000 |
commit | 09dcf979f396777aeb822058211f9eb0db4dc238 (patch) | |
tree | f61cc3416493e8209a9683c8f9eb7735160f1d44 /tools | |
parent | a64b5690098285dffd3c50e7761ea7d3b0755cac (diff) | |
download | ubox-msx-lib-09dcf979f396777aeb822058211f9eb0db4dc238.tar.gz ubox-msx-lib-09dcf979f396777aeb822058211f9eb0db4dc238.zip |
Only report if verbose
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/mkdeps.py | 3 |
1 files changed, 2 insertions, 1 deletions
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__": |