aboutsummaryrefslogtreecommitdiff
path: root/config-ml.in
diff options
context:
space:
mode:
Diffstat (limited to 'config-ml.in')
-rw-r--r--config-ml.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/config-ml.in b/config-ml.in
index 4082fe4..88c9e81 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 ;;