diff options
Diffstat (limited to 'tools/valgrind/chrome_tests.sh')
-rwxr-xr-x | tools/valgrind/chrome_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/chrome_tests.sh b/tools/valgrind/chrome_tests.sh index cea7777..3371fcd 100755 --- a/tools/valgrind/chrome_tests.sh +++ b/tools/valgrind/chrome_tests.sh @@ -12,7 +12,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 '10880' '10771' '{2009-07-15}' + for SVNREV in '10880-redzone' '10880' '10771' '{2009-07-15}' do SHORTSVNREV=`echo $SVNREV | tr -d '{\-}'` CHROME_VALGRIND_BIN=/usr/local/valgrind-$SHORTSVNREV/bin |