diff options
Diffstat (limited to 'tools/valgrind/valgrind.sh')
| -rwxr-xr-x | tools/valgrind/valgrind.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/valgrind/valgrind.sh b/tools/valgrind/valgrind.sh index 3f4c07e..ebc1098 100755 --- a/tools/valgrind/valgrind.sh +++ b/tools/valgrind/valgrind.sh @@ -72,10 +72,9 @@ 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 20090715 do - SHORTSVNREV=`echo $SVNREV | tr -d '{\-}'` - CHROME_VALGRIND_BIN=/usr/local/valgrind-$SHORTSVNREV/bin + CHROME_VALGRIND_BIN=/usr/local/valgrind-$SVNREV/bin test -x $CHROME_VALGRIND_BIN/valgrind && break done fi |