From 63bfb5b59427555c85483fd4a0b0238b69c4522c Mon Sep 17 00:00:00 2001 From: Ed Schmerling Date: Sun, 29 Dec 2019 20:11:03 -0800 Subject: [PATCH] Move user override for standard headers to take precedence over all others --- src/initialization.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/initialization.jl b/src/initialization.jl index a3fd0d00..992e820f 100644 --- a/src/initialization.jl +++ b/src/initialization.jl @@ -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