user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change "// WARN" in tidy to "// NOTE" as requested by @catamorphism

Browse source
This commit is contained in:
Niko Matsakis 2013-01-28 09:59:58 -08:00
parent ef4c060594
commit e8f3690123
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/etc/tidy.py
View file

@ -49,9 +49,9 @@ try:
report_err("FIXME without issue number")
if line.find("TODO") != -1:
report_err("TODO is deprecated; use FIXME")
idx = line.find("// WARN")
idx = line.find("// NOTE")
if idx != -1:
report_warn("WARN:" + line[idx + len("// WARN"):])
report_warn("NOTE:" + line[idx + len("// NOTE"):])
if (line.find('\t') != -1 and
fileinput.filename().find("Makefile") == -1):
report_err("tab character")