diff options
| author | Ryan Dahl <ry@tinyclouds.org> | 2018-07-16 22:40:42 -0400 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2018-07-18 15:43:50 -0400 |
| commit | d78254009e5b39b60433fe5d41354b8419573adc (patch) | |
| tree | ff03ea88cf631b6cb45d2e7a459c977b28d4cc2a /tools/util.py | |
| parent | ed9acaec7d438515271c1f2664780c0612f339da (diff) | |
Reduce unnecessary build output.
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/util.py b/tools/util.py index 40c98e336..6874f8000 100644 --- a/tools/util.py +++ b/tools/util.py @@ -4,8 +4,9 @@ import os import subprocess -def run(args): - print " ".join(args) +def run(args, quiet=False): + if not quiet: + print " ".join(args) env = os.environ.copy() if os.name == "nt": # Run through shell to make .bat/.cmd files work. |