]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #9237 : brson/rust/valgrind, r=thestinger
authorbors <bors@rust-lang.org>
Tue, 17 Sep 2013 05:30:51 +0000 (22:30 -0700)
committerbors <bors@rust-lang.org>
Tue, 17 Sep 2013 05:30:51 +0000 (22:30 -0700)
This fixes valgrind on the linux snapshot bot. The command added here
makes us require a fairly recent valgrind.


Trivial merge