Re: Cannot regenerate files from syscalls.master anymore ... awk problem

[Nicolas Joly <njoly%pasteur.fr@localhost>]

On Wed, Jul 23, 2008 at 04:18:26PM +0200, Martin Husemann wrote:
> On Wed, Jul 23, 2008 at 04:11:25PM +0200, Alan Barrett wrote:
> > On Wed, 23 Jul 2008, Nicolas Joly wrote:
> > > I just noticed that i cannot regenerate files from syscalls.master
> > > files anymore ...
> > 
> > Please try this patch (which I have not tested).
> 
> See also PR kern/38766.

I confirm that the patch in the PR do solve my problem.
Please commit.

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.