Hopefully fix rustdoc build
authorMark Rousskov <mark.simulacrum@gmail.com>
Tue, 5 Nov 2019 16:16:46 +0000 (11:16 -0500)
committerXimin Luo <infinity0@debian.org>
Mon, 23 Dec 2019 03:21:02 +0000 (03:21 +0000)
commit4abf56d6ed5df5d6874fa11a75cf93667a8d46e4
tree377abc3909a27d5f8a0824d66bcdc3f95ea72d60
parent36ac58af343df088f490bc93bd57036a9a3a26ef
Hopefully fix rustdoc build

It's super unclear why this broke when we switched to beta but not
previously -- but at least it's hopefully fixed now.

Gbp-Pq: Name u-0001-Hopefully-fix-rustdoc-build.patch
src/bootstrap/builder.rs