Re: Specify the default cache file when calling autoconf

[Paolo Bonzini]

Oops.  You're right, I did not check my facts completely.  I believed
that when I modified my configure.in I would have lost the -C option from
config.status; but most likely I had forgot to pass the -C the last time
that I configured directly from the shell.

Paolo Bonzini
-- 
|_  _  _  ___
|_)(_)| )  ,'
--------- '-._.