diff options
Diffstat (limited to 'Tools/scripts/fixheader.py')
-rwxr-xr-x | Tools/scripts/fixheader.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/fixheader.py b/Tools/scripts/fixheader.py index 7231829..1208031 100755 --- a/Tools/scripts/fixheader.py +++ b/Tools/scripts/fixheader.py @@ -17,7 +17,7 @@ def process(filename): return data = f.read() f.close() - if data[:2] <> '/*': + if data[:2] != '/*': sys.stderr.write('%s does not begin with C comment\n' % filename) return try: |