diff options
Diffstat (limited to 'BuildTools/CheckHeaders.py')
-rwxr-xr-x | BuildTools/CheckHeaders.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BuildTools/CheckHeaders.py b/BuildTools/CheckHeaders.py index 79ff85c..752d257 100755 --- a/BuildTools/CheckHeaders.py +++ b/BuildTools/CheckHeaders.py @@ -38,3 +38,3 @@ for line in file.readlines() : if forbiddenInclude in line and len([x for x in ignores if x in filename]) == 0 : - print "Found " + forbiddenInclude + " include in " + filename + print("Found " + forbiddenInclude + " include in " + filename) foundBadHeaders = True |