Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix AV build (#26255) #26257

Merged
merged 3 commits into from
Mar 1, 2018
Merged

fix AV build (#26255) #26257

merged 3 commits into from
Mar 1, 2018

Conversation

JeffBezanson
Copy link
Member

Removing this directory is not worth having every AV run fail. Should be fixed properly, but we should unblock other testing for now.

@vtjnash
Copy link
Member

vtjnash commented Feb 28, 2018

Can we do something with try/catch/warn and seeing if adding in a short pause would help fix it?

@JeffBezanson JeffBezanson changed the title disable problematic rmdir to fix AV build (#26255) fix AV build (#26255) Mar 1, 2018
@JeffBezanson JeffBezanson reopened this Mar 1, 2018
@JeffBezanson JeffBezanson merged commit be4e39f into master Mar 1, 2018
@JeffBezanson JeffBezanson deleted the jb/rmrmdir branch March 1, 2018 07:39
@KristofferC
Copy link
Member

KristofferC commented Mar 2, 2018

How convenient that you could just fix the Pkg3 bug right here and get this merged quickly. What a relief not to have to go to some other repo and make a PR there, merged, then have it get backported to some branch, bump some commit here to that backported branch commit etc. ;)

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.

3 participants