diff options
| author | Michal 'vorner' Vaner <michal.vaner@nic.cz> | 2011-03-02 13:26:59 +0100 |
|---|---|---|
| committer | Michal 'vorner' Vaner <michal.vaner@nic.cz> | 2011-03-02 13:32:29 +0100 |
| commit | ae0b20c57c48c4932b9aff2146f5d76f9eff5a90 (patch) | |
| tree | 766d5278b87b34ac19e6706c1f28934532a43395 /tools/valgrind_test_cleaner.pl | |
| parent | [trac614] More portable valgrind flags (diff) | |
| download | kea-ae0b20c57c48c4932b9aff2146f5d76f9eff5a90.tar.xz kea-ae0b20c57c48c4932b9aff2146f5d76f9eff5a90.zip | |
[trac614] Comments
Diffstat (limited to 'tools/valgrind_test_cleaner.pl')
| -rwxr-xr-x | tools/valgrind_test_cleaner.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/valgrind_test_cleaner.pl b/tools/valgrind_test_cleaner.pl index 5ebf297f43..9928e9f643 100755 --- a/tools/valgrind_test_cleaner.pl +++ b/tools/valgrind_test_cleaner.pl @@ -14,6 +14,13 @@ use warnings; # # Of course, the rest still can contain many uninteresting entries. +# Yes, it's perl even when we use python. I wrote it for myself when +# I needed to clean the outputs and after it proved useful to me, I +# thought it might be for others too, so I just included it. It's not +# that we would be switching to perl. If it should grow in future to +# include more heuristics and do something more fancy, we should probably +# rewrite it in python instead. + my ($block, $blockOK); sub endBlock(_) { |