Akim Demaille writes: > Both: by accident what you propose is having ./config.status kill > itself by running configure which creates it. So by design, it is > avoided.
But 'config.status --recheck' *does* recreate config.status. -- Peter Eisentraut [EMAIL PROTECTED]
