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 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} |