bors 907c0febe7 Auto merge of #6573 - ehuss:mtime-on-use-feature, r=dwijnand
Put mtime-on-use behind a feature flag.

This places #6477 behind the `-Z mtime-on-use` feature flag.

The change to update the mtime each time a crate is used has caused a performance regression on the rust playground (rust-lang/rust#57774). It is using about 241 pre-built crates in a Docker container. Due to the copy-on-write nature of Docker, it can take a significant amount of time to update the timestamps (over 10 seconds on slower systems).

cc @Mark-Simulacrum
2019-01-20 22:31:07 +00:00
..
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2019-01-18 08:39:25 -08:00
2019-01-15 02:03:20 +04:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2019-01-17 13:15:14 -05:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2019-01-04 23:47:16 +01:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-06 20:18:35 +01:00
2018-12-17 19:58:32 -08:00
2018-12-08 03:19:47 -08:00
2019-01-04 23:47:16 +01:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-27 17:13:31 -08:00
2019-01-19 17:33:51 +04:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-23 11:34:14 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 21:25:56 +03:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00
2018-12-08 03:19:47 -08:00