-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
T-dev-toolsRelevant to the dev-tools subteam, which will review and decide on the PR/issue.Relevant to the dev-tools subteam, which will review and decide on the PR/issue.T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.
Description
Spawned off of Issue #13965. I had a couple nice illustrative bits of code that spewed output into some files. I didn't really think about the consequences of doing that with respect to the rustdoc workflow.
( What, doesn't everyone do their builds in an isolated build tree? No, not everyone? Wait, is it just me? :) ... )
Anyway, I guess this is a feature request that either rustdoc itself or our make infrastructure should ensure that the current working directory is set to a separate workspace when rustdoc runs, and the contents of that workspace should be deleted if rustdoc terminates without an error condition.
Metadata
Metadata
Assignees
Labels
T-dev-toolsRelevant to the dev-tools subteam, which will review and decide on the PR/issue.Relevant to the dev-tools subteam, which will review and decide on the PR/issue.T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.