diff options
| author | Ben Sima <ben@bsima.me> | 2020-09-11 11:40:18 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-09-16 15:34:23 -0400 |
| commit | c6b32e05d15c428d37d5bf2ee6b5a7210d4a1dbf (patch) | |
| tree | 6af0a0f1c67314392ac94d9f8dee91ee2bb3e3e1 /Biz | |
| parent | 2351224340999dc21997a19db094f644c240318b (diff) | |
devalloc: prototype
Diffstat (limited to 'Biz')
| -rwxr-xr-x | Biz/lint.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Biz/lint.py b/Biz/lint.py index 88720b3..4d760d2 100755 --- a/Biz/lint.py +++ b/Biz/lint.py @@ -35,7 +35,8 @@ def run(cmd, file): msg = ret.stdout.decode("utf-8").strip() print(Color.WARN + f"lint error: {cmd}: {file}" + Color.END) if msg: - print(msg) + for line in msg.split("\n"): + print(" " + line) def changed_files(): |