Re: [PATCH] Improve timing of generation of generated test scripts.

[Stefano Lattarini]

> distdir run by 'make dist' provides such a convenience target.
> It does a little more, ...
OK, I can live with this :-)  Thanks for the tip, BTW.

Regards,
     Stefano