On 04/14/2017 10:56 PM, Marc Nieper-Wißkirchen wrote: > While your proposed solution would work for anyone who is aware of this > problem, it won't work for an unaware user who would simply run ./configure, > wondering why valgrind isn't detected. As it seems > rather involved to resolve the incompatibility between bash and valgrind, I > would like to ask to have gnulib's valgrind-tests changed upstream. As this > change amounts simply in replacing $(SHELL) by > any other well-known utility, the changes to be done are trivial.
/bin/true seems fine, doesn't it? Have a nice day, Berny
