Update lib/MPIPreferences/src/MPIPreferences.jl

Co-authored-by: Valentin Churavy <[email protected]>
JuliaParallel · Jul 20, 2023 · 7c4b393 · 7c4b393
1 parent a73e399
commit 7c4b393
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/MPIPreferences/src/MPIPreferences.jl b/lib/MPIPreferences/src/MPIPreferences.jl
@@ -166,12 +166,15 @@ function use_system_binary(;
     preloads = []
     preloads_env_switch = nothing
     cclibs = []
-    if vendor == "cray"
+    if vendor === nothing
+    elseif vendor == "cray"
         cray_pe = CrayParser.analyze_cray_cc()
         library_names = [cray_pe.libmpi]
         preloads = [cray_pe.libgtl]
         preloads_env_switch = cray_pe.gtl_env_switch
         cclibs = cray_pe.cclibs
+    else
+        error("Unknown vendor $vendor")
     end
 
     # Set `ZES_ENABLE_SYSMAN` to work around https://github.com/open-mpi/ompi/issues/10142