]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8006 : emillon/rust/issue-6060, r=pcwalton
authorbors <bors@rust-lang.org>
Wed, 24 Jul 2013 23:49:36 +0000 (16:49 -0700)
committerbors <bors@rust-lang.org>
Wed, 24 Jul 2013 23:49:36 +0000 (16:49 -0700)
Hello,

I made a tiny change to `tidy.py` so that it uses a regexp to find `// NOTE` comments. I could not find an easy way to write an automated test for this but if this is needed and possible I'd be happy to write one.
Please note that it also removes extra empty lines that appear after each of these warnings (I believe that there were not wanted).

On the performance side, `make tidy` is now a bit slower (running it 10 times in a row takes 71s on my machine, 65s before) but I don't think that it is performance sensitive.

Thanks!


Trivial merge