aboutsummaryrefslogtreecommitdiff
path: root/config-ml.in
diff options
context:
space:
mode:
Diffstat (limited to 'config-ml.in')
-rw-r--r--config-ml.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/config-ml.in b/config-ml.in
index 60b1d2c..e5ca10e 100644
--- a/config-ml.in
+++ b/config-ml.in
@@ -742,7 +742,7 @@ if [ -n "${multidirs}" ] && [ -z "${ml_norecursion}" ]; then
cd ${ml_dir}/${ml_libdir}
if [ -f ${ml_newsrcdir}/configure ]; then
- ml_recprog=${ml_newsrcdir}/configure
+ ml_recprog="${ml_newsrcdir}/configure --cache-file=../config.cache"
fi
# find compiler flag corresponding to ${ml_dir}