aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Nicolas Noble <nicolasnoble@users.noreply.github.com>2016-08-02 14:04:49 -0700
committerGravatar GitHub <noreply@github.com>2016-08-02 14:04:49 -0700
commit6a4397eb33c1ba6b38b4d0b0883c9724bdb36557 (patch)
tree143e000049217ac95741c78c8265b0613e49b226 /tools
parent329d6473db00d02e36788c134e62bba94d5a1ccd (diff)
parentffd207fe4c942e5de5e178d9b9eccb38fb787635 (diff)
Merge pull request #7600 from dgquintas/fix_includes
fixed include guard script and faulty .h
Diffstat (limited to 'tools')
-rwxr-xr-xtools/distrib/check_include_guards.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/distrib/check_include_guards.py b/tools/distrib/check_include_guards.py
index 56b2924a1a..28312813f6 100755
--- a/tools/distrib/check_include_guards.py
+++ b/tools/distrib/check_include_guards.py
@@ -200,6 +200,6 @@ validator = GuardValidator()
for filename in filename_list:
if filename in KNOWN_BAD: continue
- ok = validator.check(filename, args.fix)
+ ok = ok and validator.check(filename, args.fix)
sys.exit(0 if ok else 1)