Skip to content

Commit

Permalink
Lint should report errors
Browse files Browse the repository at this point in the history
  • Loading branch information
martinthomson committed Mar 17, 2020
1 parent 6e27a56 commit 085a897
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .lint.py
Expand Up @@ -30,6 +30,7 @@
linenumber += 1

def err(msg):
global foundError
foundError = True
sys.stderr.write("{0}:{1}: {2}\n".format(inputfile, linenumber, msg))
sys.stderr.write("{0}\n".format(line))
Expand Down

0 comments on commit 085a897

Please sign in to comment.