Michael Jennings wrote:
Morten Nilsen wrote:clearly, there should be an rm towards the end there..The problem with that, of course, is that each run becomes fresh. Normally, after you've run ./configure once, the cache persists until it is invalidated somehow. If you remove it each time, the cache is no longer useful between runs.
How about replacing `mktemp` with "`pwd`/config.cache" then? -- Morten :wq