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

ui sources not rebuilt when julia_version.h changes #12973

Closed
Keno opened this issue Sep 6, 2015 · 1 comment
Closed

ui sources not rebuilt when julia_version.h changes #12973

Keno opened this issue Sep 6, 2015 · 1 comment
Labels
domain:building Build system, or building Julia or its dependencies

Comments

@Keno
Copy link
Member

Keno commented Sep 6, 2015

We're missing a Makefile rule in ui/ that rebuilds the sources when the headers in src/ change (in particular when julia_version.h changes).
@Keno Keno added the domain:building Build system, or building Julia or its dependencies label Sep 6, 2015
@JeffBezanson
Copy link
Sponsor Member

JeffBezanson commented Sep 6, 2015 via email

@Keno Keno mentioned this issue Sep 9, 2015
Closed
@jiahao jiahao mentioned this issue Sep 9, 2015
Closed
@Keno Keno mentioned this issue Sep 18, 2015
Closed
@jiahao jiahao mentioned this issue Oct 3, 2015
Closed
tkelman added a commit that referenced this issue Mar 15, 2016
@tkelman
Fix #12973, ui sources not rebuilding when src headers change
e5e774b 
backport of 611aa27
tkelman added a commit that referenced this issue Mar 17, 2016
@tkelman
Merge pull request #15520 from JuliaLang/tk/headers
add0abe 
RFC: Fix #12973, ui sources not rebuilding when src headers change
tkelman added a commit that referenced this issue Mar 18, 2016
@tkelman
Merge pull request #15538 from JuliaLang/tk/headers0.4
6ee262e 
[release-0.4] Fix #12973, ui sources not rebuilding when src headers change
dfdx pushed a commit to dfdx/julia that referenced this issue Mar 19, 2016
@tkelman @dfdx
Fix JuliaLang#12973, ui sources not rebuilding when src headers change
e57dd44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
domain:building Build system, or building Julia or its dependencies
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JeffBezanson @Keno