Hi!
Hi Simon,
> Ouch. Shouldn't we rename 'valgrind-tests' instead?
> ...
> Whatever problem appears if we rename
> 'valgrind-tests' to, say, 'valgrindtests' we could fix.
'valgrindtests' would be a hack.
'valgrind-support-for-tests' would have the same problem.
'test-support-with-valgrind' would reflect the meaning, but is a bit long.
> The naming was a clever hack long time ago
What did this naming attempt to achieve?
> but this module always behaved bit weird
> (e.g., creating an empty gnulib tests/ sub-directory if a package
> doesn't use any gnulib test modules)
This is fixed now.
What about the shell-based gnulib tool? Or should I consider that one deprecated?
Thanks,
Marc
So, IMO, there is no need to rename the module any more.
Bruno