diff options
Diffstat (limited to 'configure.sh')
-rw-r--r-- | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 634c405..4263526 100644 --- a/configure.sh +++ b/configure.sh @@ -113,7 +113,7 @@ then echo "GSL: Configuring..." cd ${NAME} - ./configure --prefix=${GSL_DIR} + ./configure --prefix=${GSL_DIR} --enable-shared=no echo "GSL: Building..." ${MAKE} |