Remove pointless --make option.
diff --git a/configure b/configure
index d85a9df..69ce2f3 100755
--- a/configure
+++ b/configure
@@ -43,7 +43,6 @@ show_help(){
echo " --enable-strip strip shared library [yes]"
echo
echo " --cc=CC use C compiler CC [$cc]"
- echo " --make=MAKE use specified make [$make]"
exit 1
}
@@ -94,9 +93,6 @@ for opt do
--cc=*)
cc="$optval"
;;
- --make=*)
- make="$optval"
- ;;
--enable-?*|--disable-?*)
eval `echo "$opt" | sed 's/--/action=/;s/-/ option=/;s/-/_/g'`
echo "$CMDLINE_SELECT" | grep -q "^ *$option\$" || die_unknown $opt