Skip to content

relink only when necessary #23

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

Closed
bos opened this issue May 24, 2012 · 2 comments
Closed

relink only when necessary #23

bos opened this issue May 24, 2012 · 2 comments

Comments

@bos
Copy link
Contributor

bos commented May 24, 2012

(Imported from Trac #16, reported by @SyntaxPolice on 2005-10-31)

Re-link only when necessary. This relates to building dependency analysis. #15.

@bos
Copy link
Contributor Author

bos commented May 24, 2012

(Imported comment by @dcoutts on 2005-10-31)

This is now partly fixed simply by ghc --make not relinking when it's not necessary.

@tibbe
Copy link
Member

tibbe commented May 5, 2014

1.20 doesn't relink unnecessarily anymore.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants