On Wed, 31 May 2000, Christoph Kukulies wrote:
> On Wed, May 31, 2000 at 01:17:56PM +0200, Harti Brandt wrote:
> > On Wed, 31 May 2000, Christoph Kukulies wrote:
> >
> > > Do you have an idea how I can 'repair' this (substituting inimp by
> > > inimpost etc.) without remaking everything?
> >
> > a './config.status -recheck' followed by './config.status' should remake
> > the Makefiles. If you do 'gmake' afterwards it shouldn't recompile.
>
> It seemed to me that deleting cong.cache prior to executing
> ./config.status -recheck makes things look better :-)
-recheck is supposed to overwrite the cache, I think.
harti
--
harti brandt, http://www.fokus.gmd.de/research/cc/cats/employees/hartmut.brandt/private
[EMAIL PROTECTED], [EMAIL PROTECTED]
