diff options
Diffstat (limited to 'tools/valgrind/valgrind.sh')
| -rwxr-xr-x | tools/valgrind/valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/valgrind.sh b/tools/valgrind/valgrind.sh index 33ae8a2..5db5bfd 100755 --- a/tools/valgrind/valgrind.sh +++ b/tools/valgrind/valgrind.sh @@ -72,7 +72,7 @@ if test x"$CHROME_VALGRIND_BIN" = x then # Figure out which valgrind is installed. Use most recent one. # See build-valgrind-for-chromium.sh and its history for these constants. - for SVNREV in '10771' '{2009-07-15}' + for SVNREV in '10880' '10771' '{2009-07-15}' do SHORTSVNREV=`echo $SVNREV | tr -d '{\-}'` CHROME_VALGRIND_BIN=/usr/local/valgrind-$SHORTSVNREV/bin |