21 Jun
2024
21 Jun
'24
7:32 a.m.
"Greg A. Woods" <woods(a)robohack.ca> writes:
Indeed there is. Nothing new about it either.
It's been around
for two
decades or more.
TIL - thank you! i've never seen this mentioned before. (Perhaps
because i only use autoconf as an end-user, rather than as a dev.)
Looking at section 15.8 of that manual, it looks like i could
specify that `-C` / `--config-cache` be passed to configure by
default site-wide. So i might do so on my Gentoo system - given
most things on that system are locally compiled, it might be an
interesting stress-test data-point regarding configuration
caching.
Alexis.