diff options
| author | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-01-05 00:41:14 +0000 |
|---|---|---|
| committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-01-05 00:41:14 +0000 |
| commit | 8b21cda69e48ceacfd88dafe94cdab6feaa00e6d (patch) | |
| tree | 6ffdba5bef7531c78b50f1168167a87791e5545b /config-ml.in | |
| parent | 016d7f3e4f6e524207674c692bd9321ac3932d5e (diff) | |
* config-ml.in: Don't mess with the cache file.
From-SVN: r75406
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 fb9e050b149..b2e4ea9cf97 100644 --- a/config-ml.in +++ b/config-ml.in @@ -766,7 +766,7 @@ if [ -n "${multidirs}" ] && [ -z "${ml_norecursion}" ]; then cd ${ml_dir}/${ml_libdir} if [ -f ${ml_newsrcdir}/configure ]; then - ml_recprog="${ml_newsrcdir}/configure --cache-file=../config.cache" + ml_recprog="${ml_newsrcdir}/configure" fi # find compiler flag corresponding to ${ml_dir} |