swh:1:snp:a72e953ecd624a7df6e6196bbdd05851996c5e40
Raw File
Tip revision: 6446a706d20c610e0711d8feeeb2faeee0459aac authored by Valentin Churavy on 26 February 2018, 02:06:45 UTC
backport patch for D33311
Tip revision: 6446a70
write_base_cache.jl
# Write the sys source cache in format readable by Base._read_dependency_src
cachefile = ARGS[1]
open(cachefile, "w") do io
    for (_, filename) in Base._included_files
        src = read(filename, String)
        write(io, hton(Int32(sizeof(filename))))
        write(io, filename)
        write(io, hton(UInt64(sizeof(src))))
        write(io, src)
    end
    write(io, Int32(0))
end
back to top