diff options
Diffstat (limited to 'config-ml.in')
| -rw-r--r-- | config-ml.in | 7 |
1 files changed, 6 insertions, 1 deletions
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 |