Commit Graph

5 Commits

Author SHA1 Message Date
980f940a34 prefix results with 'lint.py' so that it's obvious where they're coming from 2020-11-18 16:04:59 -05:00
9633bcca35 lint.py: one more .. to find sneak_root 2020-03-02 21:21:42 -05:00
544b8d2464 lint: print # errors and return 1 if any errors found
GitOrigin-RevId: bab4a38d64540385b1a4dc509ba8ffc48feb9293
2020-02-25 20:43:47 -05:00
6b95a66859 lint: require const field names to be in ALL_CAPS
GitOrigin-RevId: 8b6c20e6d978f2756bdbf946ff860ce5cc48e3ce
2020-02-25 20:34:53 -05:00
efccefa5b1 Add lint script.
Fixes #5.
Also fixes #4.

GitOrigin-RevId: eaeeaac96040726472a2b604dc0567b4f8ba69ab
2020-02-25 19:15:59 -05:00