Hi Stefano, * Stefano Lattarini wrote on Sun, May 23, 2010 at 05:51:15PM CEST: > Here it is my attempt to a patch.
Thanks. This seems to work ok, but this: > +# Protect against attempted multiple inclusions of this file. > +# This might be especially useful in generated test scripts. > +echo 'echo "$me: ./defs already included"' > defs > + is such an ugly thing, because we now litter the test directories. I'd prefer to avoid that, unless it means very ugly constructs. Thanks, Ralf