3 Commits

Author	SHA1	Message	Date
Nick Mathewson	2a3c727dfe	Make includes interface more like the rest of practracker ... Everything else assumes that somebody else will open the file for it.	2019-08-05 17:48:06 -04:00
Nick Mathewson	720951f056	Teach include-checker about advisory rules ... A .may_includes file can be "advisory", which means that some violations of the rules are expected. We will track these violations with practracker, not as automatic errors.	2019-08-05 17:04:00 -04:00
Nick Mathewson	6fb74753c2	Move checkIncludes inside practracker ... Update the makefile accordingly.	2019-08-05 14:10:40 -04:00