Lines Matching refs:cache

760   -cache-file | --cache-file | --cache-fil | --cache-fi \
761 | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
763 -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
764 | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
767 --config-cache | -C)
768 cache_file=config.cache ;;
1197 --cache-file=FILE cache test results in FILE [disabled]
1198 -C, --config-cache alias for \`--cache-file=config.cache'
1438 *=* | --config-cache | -C | -disable-* | --disable-* \
1473 # The following way of writing the cache mishandles newlines in values,
1591 # Let the site file select an alternate cache file if it wants to.
1616 { echo "$as_me:$LINENO: loading cache $cache_file" >&5
1617 echo "$as_me: loading cache $cache_file" >&6;}
1624 { echo "$as_me:$LINENO: creating cache $cache_file" >&5
1625 echo "$as_me: creating cache $cache_file" >&6;}
1633 # Check that the precious variables saved in the cache have kept the same
6115 # scripts and configure runs, see configure's option --config-cache.
6119 # config.status only pays attention to the cache file if you give it
6128 # The following way of writing the cache mishandles newlines in values,
6132 # and sets the high bit in the cache file unless we assign to the vars.
6176 { echo "$as_me:$LINENO: updating cache $cache_file" >&5
6177 echo "$as_me: updating cache $cache_file" >&6;}
6180 { echo "$as_me:$LINENO: not updating unwritable cache $cache_file" >&5
6181 echo "$as_me: not updating unwritable cache $cache_file" >&6;}