[PATCH] testrun.sh: Implement --tool=strace, --tool=valgrind

[Joseph Myers]

On Sat, 30 Jun 2018, Florian Weimer wrote:

> $(file …) appears to be the only convenient way to create files
> with newlines and make substitution variables.  This needs make 4.0
> (released in 2013), so update the requirement to match.

An increase in make version required needs an entry in the "Changes to 
build and runtime requirements" section of NEWS for the release with the 
change.

-- 
Joseph S. Myers
joseph@codesourcery.com