Commit b05a71820628b07fc4b40418cb84c574fd80fdd2

Ramiro Polla 2009-01-11T20:41:20

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