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

Improve searching for XXX in tidy script (#3303)

Browse source 
Few places where previous version of tidy script cannot find XXX:
* inside one-line comment preceding by a few spaces;
* inside multiline comments (now it finds it if multiline comment starts
on the same line with XXX).

Change occurences of XXX found by new tidy script.
This commit is contained in:
Boris Egorov 2014-04-07 19:01:10 +07:00 • committed by Alex Crichton
parent de2567dec9
commit 00cbda2d0a
4 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/etc/tidy.py
View file

@ -65,10 +65,11 @@ try:
check_tab = False
if line.find(linelength_flag) != -1:
check_linelength = False
if line.find("// XXX") != -1:
report_err("XXX is no longer necessary, use FIXME")
if line.find("TODO") != -1:
report_err("TODO is deprecated; use FIXME")
match = re.match(r'^.*/(\*|/!?)\s*XXX', line)
if match:
report_err("XXX is no longer necessary, use FIXME")
match = re.match(r'^.*//\s*(NOTE.*)$', line)
if match:
m = match.group(1)