config-ml.in: don't handle --enable-shared and --enable-static.

2008-05-14  Rafael Espindola  <espindola@google.com>

	* config-ml.in: don't handle --enable-shared and --enable-static.

From-SVN: r135300

diff --git a/ChangeLog b/ChangeLog
index 1ac9bcf5e277a78a22f77b535104885b8cf25740..6b5823907b76d61f195aa42004958af3b1c55ef7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-05-14  Rafael Espindola  <espindola@google.com>
+
+       * config-ml.in: don't handle --enable-shared and --enable-static.
+
 2008-05-10  Richard Sandiford  <rdsandiford@googlemail.com>
 
        * MAINTAINERS: Update my email address.

diff --git a/config-ml.in b/config-ml.in
index 3ae19743b768403843004e08b877ac6deb5aa57a..f2497ada4f8e796ed4177520a94f233587e8609a 100644 (file)
--- a/config-ml.in
+++ b/config-ml.in
@@ -135,7 +135,12 @@ do
        *)      optarg=yes ;;
        esac
        enableopt=`echo ${option} | sed 's:^--::;s:=.*$::;s:-:_:g'`
-       eval $enableopt="$optarg"
+       # enable_shared and enable_static are handled by configure.
+       # Don't undo its work.
+       case $enableopt in
+       enable_shared | enable_static) ;;
+       *) eval $enableopt="$optarg" ;;
+       esac
        ;;
   --norecursion | --no-recursion)
        ml_norecursion=yes