summaryrefslogtreecommitdiff
path: root/.arc-linters
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-12-07 10:53:44 +0100
committerBen Gamari <ben@smart-cactus.org>2015-12-07 10:54:06 +0100
commitf5127c81ccb4d65f794b2b43fd3ad9b59c9a89d1 (patch)
treef89540bef6e55e571a54db52fd1e1e73d1d07e1e /.arc-linters
parentbe92c288839e0bfcf0b15e3bb4136d60f8ef2575 (diff)
downloadhaskell-f5127c81ccb4d65f794b2b43fd3ad9b59c9a89d1.tar.gz
linters/check-cpp: Don't produce debug log
Diffstat (limited to '.arc-linters')
-rwxr-xr-x.arc-linters/check-cpp.py13
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 = []