Clarify that linux/linux_elf are identical systems

owlbarn · Jul 26, 2023 · 0c8da61 · 0c8da61
1 parent 48434ea
commit 0c8da61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/owl/config/configure.ml b/src/owl/config/configure.ml
@@ -154,8 +154,8 @@ let get_openmp_config c =
   else (
     let cflags, libs =
       match get_os_type c with
+      | "linux_elf"
       | "linux"     -> [ "-fopenmp" ], [ "-lgomp" ]
-      | "linux_elf" -> [ "-fopenmp" ], [ "-lgomp" ]
       | "macosx"    -> [ "-Xpreprocessor"; "-fopenmp" ], [ "-lomp" ]
       | "mingw64"   -> [ "-fopenmp" ], [ "-lgomp" ]
       | _           -> [], []