From b05a71820628b07fc4b40418cb84c574fd80fdd2 Mon Sep 17 00:00:00 2001
From: Ramiro Polla <ramiro.polla@gmail.com>
Date: Sun, 11 Jan 2009 20:41:20 +0000
Subject: Remove pointless --make option.

---
 configure | 4 ----
 1 file changed, 4 deletions(-)

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
-- 
cgit v1.2.3-55-g6feb