Skip to content

Commit

Permalink
Merge pull request #454 from schmrlng/system_header_overrides
Browse files Browse the repository at this point in the history
Move user override for standard headers to take precedence over all others
  • Loading branch information
Gnimuc authored Dec 30, 2019
2 parents f7ab072 + 63bfb5b commit 14c403a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/initialization.jl
Original file line number Diff line number Diff line change
Expand Up @@ -383,10 +383,10 @@ function collectClangHeaders!(headers)
end

function collectAllHeaders!(headers, nostdcxx)
nostdcxx || collectStdHeaders!(headers)
for header in split(get(ENV, "CXXJL_HEADER_DIRS", ""), ":")
isempty(header) || push!(headers, (header, C_System))
end
nostdcxx || collectStdHeaders!(headers)
collectClangHeaders!(headers)
headers
end
Expand Down

2 comments on commit 14c403a

@Gnimuc
Copy link
Member Author

@Gnimuc Gnimuc commented on 14c403a Jan 27, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request updated: JuliaRegistries/General/8490

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.4.0 -m "<description of version>" 14c403a58ba0bec12e9893a3acf0b28dfc8ffa3a
git push origin v0.4.0

Please sign in to comment.