Lines Matching refs:configure
261 --cache-file=FILE configure cache file
450 # Transform linux* to *-*-linux-gnu*, to support old configure scripts.
2159 # configure.in, otherwise build static only libraries.
3063 # This file is a shell script that caches the results of configure
3064 # tests run on this system so they can be shared between configure
3065 # scripts and configure runs. It is not useful on other systems.
3068 # By default, configure uses ./config.cache as the cache file,
3069 # creating it if it does not exist already. You can give configure
3071 # what configure does when it calls configure scripts in
3073 # Giving --cache-file=/dev/null disables caching, for debugging configure.
3075 # --recheck option to rerun configure.