diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | config-ml.in | 5 |
2 files changed, 10 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2005-01-12 David Edelsohn <edelsohn@gnu.org> + + PR bootstrap/18033 + * config-ml.in: Eval option if surrounded by single quotes. + 2005-01-03 Paolo Bonzini <bonzini@gnu.org> Revert 2004-12-28 Makefile changes, a better fix will be diff --git a/config-ml.in b/config-ml.in index 253e8dd..d644bd2 100644 --- a/config-ml.in +++ b/config-ml.in @@ -108,6 +108,11 @@ ml_realsrcdir=${srcdir} ml_verbose=--verbose for option in ${ac_configure_args} do + # strip single quotes surrounding individual options + case $option in + \'*\') eval option=$option ;; + esac + case $option in --*) ;; -*) option=-$option ;; |