Lines Matching refs:cache
49 cache_file=./config.cache
116 -cache-file | --cache-file | --cache-fil | --cache-fi \
117 | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
119 -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
120 | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
171 --cache-file=FILE cache test results in FILE
525 echo "loading cache $cache_file"
528 echo "creating cache $cache_file"
1224 # As a last resort, use the slow shell script. We don't cache a
1226 # break other packages using the cache if that directory is
1511 libtool_flags="--cache-file=$cache_file"
1590 # Save cache, so that ltconfig can load it
1597 # By default, configure uses ./config.cache as the cache file,
1599 # the --cache-file=FILE option to use a different cache file; that is
1601 # subdirectories, so they share the cache.
1602 # Giving --cache-file=/dev/null disables caching, for debugging configure.
1603 # config.status only pays attention to the cache file if you give it the
1607 # The following way of writing the cache mishandles newlines in values,
1609 # So, don't put newlines in cache variables' values.
1611 # and sets the high bit in the cache file unless we assign to the vars.
1630 echo "updating cache $cache_file"
1633 echo "not updating unwritable cache $cache_file"
1648 # Reload cache, that may have been modified by ltconfig
1650 echo "loading cache $cache_file"
1653 echo "creating cache $cache_file"
3116 # By default, configure uses ./config.cache as the cache file,
3118 # the --cache-file=FILE option to use a different cache file; that is
3120 # subdirectories, so they share the cache.
3121 # Giving --cache-file=/dev/null disables caching, for debugging configure.
3122 # config.status only pays attention to the cache file if you give it the
3126 # The following way of writing the cache mishandles newlines in values,
3128 # So, don't put newlines in cache variables' values.
3130 # and sets the high bit in the cache file unless we assign to the vars.
3149 echo "updating cache $cache_file"
3152 echo "not updating unwritable cache $cache_file"