]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1e4ef6) | patch
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Wed, 1 Jun 2016 15:32:57 +0000 (17:32 +0200)
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Wed, 1 Jun 2016 15:32:57 +0000 (17:32 +0200)
commitf9a54161354821daef7ba2798460a1b93ab0f766
tree60be40a3e949973f664f4a3d9a40cb9d272c84f4tree | snapshot
parentf1e4ef6c6f90240903b6e40ad92a51593b0ba39fcommit | diff
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
src/bin/miri.rs diff | blob | history
Empowering everyone to build reliable and efficient software.