From 61ab1651b91da9c63f78ea93b89117867188979d Mon Sep 17 00:00:00 2001 From: Rafael Avila de Espindola Date: Wed, 14 May 2008 17:15:51 +0000 Subject: [PATCH] config-ml.in: don't handle --enable-shared and --enable-static. 2008-05-14 Rafael Espindola * config-ml.in: don't handle --enable-shared and --enable-static. From-SVN: r135300 --- ChangeLog | 4 ++++ config-ml.in | 7 ++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 1ac9bcf5e27..6b5823907b7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-05-14 Rafael Espindola + + * config-ml.in: don't handle --enable-shared and --enable-static. + 2008-05-10 Richard Sandiford * MAINTAINERS: Update my email address. diff --git a/config-ml.in b/config-ml.in index 3ae19743b76..f2497ada4f8 100644 --- 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 -- 2.30.2