diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -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 ;; |
