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

Remove the generation date, keep the source relative #378

Merged
merged 1 commit into from
Oct 26, 2020

Conversation

raboof
Copy link
Member

@raboof raboof commented Oct 20, 2020

This way the generated code is consistent between runs, even
on different machines (different absolute paths).

Refs #209

The tests are green, but I'm not entirely confident about all the machinery, so this probably needs some better testing first. /cc @ignasi35

@ignasi35
Copy link
Member

👍🏼 to keep SOURCE so the plugin can track back.

I wonder if DATE is read at all. I can't remember, TBH. I guess it was read back in the day but not anymore?

This way the generated code is consistent between runs, even
on different machines (different absolute paths).

Refs playframework#209
@ignasi35
Copy link
Member

Did a quick manual test and this LGTM.

@ignasi35 ignasi35 marked this pull request as ready for review October 26, 2020 10:03
@mkurz
Copy link
Member

mkurz commented Feb 20, 2021

@Mergifyio backport 1.5.x

@mergify
Copy link
Contributor

mergify bot commented Feb 20, 2021

Command backport 1.5.x: success

Backports have been created

mergify bot added a commit that referenced this pull request Feb 20, 2021
Remove the generation date, keep the source relative (bp #378)
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