| 1 |
On Wednesday 20 October 2004 00:42, Duncan wrote: |
| 2 |
> Ugly! Is the cache kept in such a way that for specific things like this, |
| 3 |
> one can go in and excise them using sed and the like? That would seem the |
| 4 |
> best solution if so. Simply make it as if the cpuinfo stuff hadn't been |
| 5 |
> cached, yet, so it'd test for it each time new. |
| 6 |
|
| 7 |
Yes. Just run it once and look in /var/cache/confcache... We keep the |
| 8 |
configure cache file as-is and another text file with file->checksum |
| 9 |
mappings, and a third file with env variable values (if eg $CC changes, the |
| 10 |
cache is dumped). |
| 11 |
|
| 12 |
-- |
| 13 |
Dan Armak |
| 14 |
Gentoo Linux developer (KDE) |
| 15 |
Matan, Israel |
| 16 |
Public GPG key: http://dev.gentoo.org/~danarmak/danarmak-gpg-public.key |
| 17 |
Fingerprint: DD70 DBF9 E3D4 6CB9 2FDD 0069 508D 9143 8D5F 8951 |
Archives