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

Adds ClearCachesAfterBuild to GraphBuildRequestData #169

Merged

Conversation

TheAngryByrd
Copy link
Member

@TheAngryByrd TheAngryByrd commented Sep 9, 2022

The reason this is added is because it will force the BuildManager to pull the project files from disk per this comment: https://github.com/dotnet/msbuild/blob/a3b647d766676a735211a42aa0726d1d940ed13d/src/Build/BackEnd/BuildManager/BuildManager.cs#L2631-L2633

  • Needs tests

src/Ionide.ProjInfo/something.fsx Outdated Show resolved Hide resolved
src/Ionide.ProjInfo/Library.fs Show resolved Hide resolved
@TheAngryByrd TheAngryByrd force-pushed the force-graph-build-reload-from-disk branch from 6473409 to 56d1005 Compare September 9, 2022 15:35
@TheAngryByrd TheAngryByrd marked this pull request as draft September 9, 2022 15:36
@TheAngryByrd TheAngryByrd force-pushed the force-graph-build-reload-from-disk branch from 4f98686 to 9a2a557 Compare September 9, 2022 19:44
@TheAngryByrd TheAngryByrd marked this pull request as ready for review September 9, 2022 19:45
@baronfel baronfel merged commit 0e9d64e into ionide:main Sep 9, 2022
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.

2 participants