Re-export use_jll_binary and use_system_binary

vchuravy · vchuravy · commit 1389fccadbe2 · 2022-04-16T14:23:34.000-04:00
diff --git a/src/MPI.jl b/src/MPI.jl
@@ -35,6 +35,8 @@ end
 
 
 import MPIPreferences
+import MPIPreferences: use_jll_binary, use_system_binary
+export use_jll_binary, use_system_binary
 
 if MPIPreferences.binary == "MPICH_jll"
     import MPICH_jll: libmpi, mpiexec
