diff --git a/P/PETSc/build_tarballs.jl b/P/PETSc/build_tarballs.jl index ed5a52be760..a83deda0fb1 100644 --- a/P/PETSc/build_tarballs.jl +++ b/P/PETSc/build_tarballs.jl @@ -63,6 +63,7 @@ make -j${nproc} \ make PETSC_DIR=$PWD PETSC_ARCH=$target DEST_DIR=$prefix install + if [[ "${target}" == *-mingw* ]]; then # Move library to ${libdir} on Windows, # changing the extension from so to dll.