diff options
author | Ben Gamari <ben@smart-cactus.org> | 2015-12-07 10:53:44 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-07 10:54:06 +0100 |
commit | f5127c81ccb4d65f794b2b43fd3ad9b59c9a89d1 (patch) | |
tree | f89540bef6e55e571a54db52fd1e1e73d1d07e1e /.arc-linters | |
parent | be92c288839e0bfcf0b15e3bb4136d60f8ef2575 (diff) | |
download | haskell-f5127c81ccb4d65f794b2b43fd3ad9b59c9a89d1.tar.gz |
linters/check-cpp: Don't produce debug log
Diffstat (limited to '.arc-linters')
-rwxr-xr-x | .arc-linters/check-cpp.py | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/.arc-linters/check-cpp.py b/.arc-linters/check-cpp.py index c58da09bf3..1d07b4ed37 100755 --- a/.arc-linters/check-cpp.py +++ b/.arc-linters/check-cpp.py @@ -9,16 +9,19 @@ import os import json import re - -def setup_logging(): - logger = logging.getLogger() +def setup_logging(logger): + """ + ``arc lint`` makes it quite tricky to catch debug output from linters. + Log to a file to work around this. + """ hdlr = logging.FileHandler('linter.log', 'w') logger.addHandler(hdlr) logger.setLevel(logging.DEBUG) return logger -logger = setup_logging() -#logger.debug(sys.argv) +logger = logging.getLogger() +#setup_logging(logger) +logger.debug(sys.argv) path = sys.argv[1] warnings = [] |