Skip to content

fix "make install"#20380

Merged
bors merged 1 commit into
rust-lang:masterfrom
dcrewi:fix-make-install
Jan 2, 2015
Merged

fix "make install"#20380
bors merged 1 commit into
rust-lang:masterfrom
dcrewi:fix-make-install

Conversation

@dcrewi

@dcrewi dcrewi commented Dec 31, 2014

Copy link
Copy Markdown
Contributor

There seems to be a problem introduced by
8b3c676 that causes "make install"
to fail when the build is not configured to skip doc building.

There seems to be a problem introduced by
8b3c676 that causes "make install"
to fail when the build is not configured to skip doc building.
@rust-highfive

Copy link
Copy Markdown
Contributor

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@brson

brson commented Jan 1, 2015

Copy link
Copy Markdown
Contributor

Thanks!

@yeahnoob yeahnoob mentioned this pull request Jan 1, 2015
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Jan 2, 2015
There seems to be a problem introduced by
8b3c676 that causes "make install"
to fail when the build is not configured to skip doc building.
@bors bors merged commit 714a2c6 into rust-lang:master Jan 2, 2015
@dcrewi dcrewi deleted the fix-make-install branch January 9, 2015 04:32
lnicola pushed a commit to lnicola/rust that referenced this pull request Sep 1, 2025
remove `add_attr()` from edit_in_place.rs because it use `ted`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants