Auto merge of #4990 - Eh2406:Zno-index-update, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 31 Jan 2018 22:14:53 +0000 (22:14 +0000)
committerbors <bors@rust-lang.org>
Wed, 31 Jan 2018 22:14:53 +0000 (22:14 +0000)
commitdf11070cb574a64b167d36b012df50cf62e061b9
treecd6d56d1119c84c1acebc97a039609bd21ace92b
parentb23ebe2c997bc8224e408b982b790049ce9843ae
parentba054375543aef7e248556e383a66ee31a544ce2
Auto merge of #4990 - Eh2406:Zno-index-update, r=alexcrichton

add a -Z no-index-update for crater and benchmarking

This is a fix for #3479