diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 25d177d..5994956 100755 --- a/configure.sh +++ b/configure.sh @@ -153,7 +153,7 @@ then echo "MPI: Configuring..." cd ${NAME} - ./configure --prefix=${MPI_DIR} + ./configure --prefix=${MPI_DIR} --enable-shared=no --enable-static=yes echo "MPI: Building..." ${MAKE} |