| Index: tools/valgrind/regrind.sh
|
| diff --git a/tools/valgrind/regrind.sh b/tools/valgrind/regrind.sh
|
| index 40900be8ad052d3004ea6e74e4bb06e95be66d81..cb408c48699d16448020397d5afa7ab557d3c98a 100755
|
| --- a/tools/valgrind/regrind.sh
|
| +++ b/tools/valgrind/regrind.sh
|
| @@ -42,7 +42,8 @@ layout_list_failed_tests() {
|
| }
|
|
|
| # Generate a list of failed tests in regrind-failed.txt by scraping bot.
|
| -# Scrape most recent first, so if user interrupts, he is left with fresh-ish data.
|
| +# Scrape most recent first, so if user interrupts, they are left with fresh-ish
|
| +# data.
|
| scrape_layout() {
|
| rm -f regrind-*.tmp* regrind-failed.txt regrind-failed-map.txt
|
| touch regrind-failed.txt
|
|
|