diff --git a/tools/single-header.py b/tools/single-header.py index 9982c41..c5af76d 100644 --- a/tools/single-header.py +++ b/tools/single-header.py @@ -23,11 +23,11 @@ def scan_header( prefix, dir, fn ): included.append( path ) with open( path, 'r' ) as header: - + for line in header: - + m = re.match( '[ \t]*#[ \t]*include[ \t]*(["<])([^">]*)[">]', line ) - + r = False if m: