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.

Sign up for GitHub

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

Jump to bottom

Tags file gets truncated #37

Closed
coot opened this issue Apr 12, 2020 · 1 comment
Closed

Tags file gets truncated #37

coot opened this issue Apr 12, 2020 · 1 comment
Labels
bug Something isn't working

Comments

@coot
Copy link
Owner

coot commented Apr 12, 2020

When ghc-tags-plugin runs in during a cocurrent build it might truncate the
tags file. It seems that os level buffering gets in the way. On linux using
fdatasync fixes the problem.
@coot coot added the bug Something isn't working label Apr 12, 2020
coot added a commit that referenced this issue Apr 12, 2020
@coot
Use fdatasync to sync data to the device
fec0452 
Fixes issues #37
coot added a commit that referenced this issue Apr 12, 2020
@coot
Use fdatasync to sync data to the device
ec1ecbc 
Fixes issues #37
coot added a commit that referenced this issue Apr 12, 2020
@coot
Use fdatasync to sync data to the device
60b8cf6 
Fixes issues #37
coot added a commit that referenced this issue Apr 12, 2020
@coot
Use fdatasync to sync data to the device
7f31958 
Fixes issues #37
@coot
Copy link
Owner Author

coot commented Apr 12, 2020

Fixed in 60b8cf6

@coot coot closed this as completed Apr 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@coot