diff options
-rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure index 8483b78a5d..71e8de1c49 100755 --- a/configure +++ b/configure @@ -3562,7 +3562,6 @@ else fi -static=yes # Check whether --enable-shared was given. if test "${enable_shared+set}" = set; then : enableval=$enable_shared; shared=$enableval |