contrib/check-code.py
changeset 31824 4804644489cf
parent 31816 2a865df042b7
child 31877 14c5a7637ecc
--- a/contrib/check-code.py	Thu Apr 06 14:41:42 2017 +0200
+++ b/contrib/check-code.py	Thu Apr 06 22:08:23 2017 -0700
@@ -673,7 +673,7 @@
     return result
 
 def main():
-    parser = optparse.OptionParser("%prog [options] [files]")
+    parser = optparse.OptionParser("%prog [options] [files | -]")
     parser.add_option("-w", "--warnings", action="store_true",
                       help="include warning-level checks")
     parser.add_option("-p", "--per-file", type="int",
@@ -691,6 +691,9 @@
 
     if len(args) == 0:
         check = glob.glob("*")
+    elif args == ['-']:
+        # read file list from stdin
+        check = sys.stdin.read().splitlines()
     else:
         check = args