Skip to content

Commit d789bcd

Browse files
adding a missing hypen in "--download-mumps-avoid-mpi-in-place"
1 parent 78bd945 commit d789bcd

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

scripts/firedrake-configure

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -883,7 +883,7 @@ OFFICIAL_ARCHS: Mapping[ArchKey, Arch] = {
883883

884884
# Avoid macos + openmpi + mumps segmentation violation issue;
885885
# see https://github.com/firedrakeproject/firedrake/issues/4102 and https://github.com/firedrakeproject/firedrake/issues/4113.
886-
"-download-mumps-avoid-mpi-in-place",
886+
"--download-mumps-avoid-mpi-in-place",
887887
],
888888
cflags=["-O3", "-march=native", "-mtune=native"],
889889
cxxflags=["-O3", "-march=native", "-mtune=native"],
@@ -937,7 +937,7 @@ OFFICIAL_ARCHS: Mapping[ArchKey, Arch] = {
937937

938938
# Avoid macos + openmpi + mumps segmentation violation issue;
939939
# see https://github.com/firedrakeproject/firedrake/issues/4102 and https://github.com/firedrakeproject/firedrake/issues/4113.
940-
"-download-mumps-avoid-mpi-in-place",
940+
"--download-mumps-avoid-mpi-in-place",
941941
],
942942
cflags=["-O3", "-march=native", "-mtune=native"],
943943
cxxflags=["-O3", "-march=native", "-mtune=native"],

0 commit comments

Comments
 (0)