diff --git a/misc/scripts/header_guards.py b/misc/scripts/header_guards.py index fed418db1ed..4d4150a097b 100755 --- a/misc/scripts/header_guards.py +++ b/misc/scripts/header_guards.py @@ -36,11 +36,16 @@ for file in sys.argv[1:]: break if HEADER_CHECK_OFFSET < 0: + invalid.append(file) continue HEADER_BEGIN_OFFSET = HEADER_CHECK_OFFSET + 1 HEADER_END_OFFSET = len(lines) - 1 + if HEADER_BEGIN_OFFSET >= HEADER_END_OFFSET: + invalid.append(file) + continue + split = file.split("/") # Already in posix-format. prefix = ""