summary refs log tree commit diff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure1
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