diff options
Diffstat (limited to 'config-ml.in')
| -rw-r--r-- | config-ml.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config-ml.in b/config-ml.in index 88c9e81f1..cc9cf66ce 100644 --- a/config-ml.in +++ b/config-ml.in @@ -895,7 +895,7 @@ if [ -n "${multidirs}" ] && [ -z "${ml_norecursion}" ]; then if eval ${ml_config_env} ${ml_config_shell} ${ml_recprog} \ --with-multisubdir=${ml_dir} --with-multisrctop=${multisrctop} \ - ${ac_configure_args} ${ml_srcdiroption} ; then + ${ac_configure_args} ${ml_config_env} ${ml_srcdiroption} ; then true else exit 1 |