aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 6d32659a..3a8adf0e 100755
--- a/configure
+++ b/configure
@@ -140,7 +140,7 @@ case "$1" in
140 -m* | --mandir) mandir="$2"; shift; shift ;; 140 -m* | --mandir) mandir="$2"; shift; shift ;;
141 -u* | --uname) uname="$2"; shift; shift ;; 141 -u* | --uname) uname="$2"; shift; shift ;;
142 -s* | --shared | --enable-shared) shared=1; shift ;; 142 -s* | --shared | --enable-shared) shared=1; shift ;;
143 -t | --static) shared=0; shift ;; 143 -t | --static | --disable-shared) shared=0; shift ;;
144 --solo) solo=1; shift ;; 144 --solo) solo=1; shift ;;
145 --cover) cover=1; shift ;; 145 --cover) cover=1; shift ;;
146 -z* | --zprefix) zprefix=1; shift ;; 146 -z* | --zprefix) zprefix=1; shift ;;