We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 667a177 commit 3fa9be4Copy full SHA for 3fa9be4
src/MPI.jl
@@ -72,8 +72,7 @@ function __init__()
72
73
if MPI_LIBRARY_VERSION_STRING != Get_library_version()
74
# MPI library has changed, invalidate cache
75
- cachefile = Base.compilecache(Base.PkgId(MPI))
76
- rm(cachefile)
+ rm(Base.compilecache_path(Base.PkgId(MPI)), force = true)
77
# TODO: figure out if we can reload package without erroring
78
# though that would probably trigger a race condition
79
error("MPI library has changed, please restart Julia")
0 commit comments