|
From: Julian S. <se...@so...> - 2019-02-02 15:11:57
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=cad6b8a984c99a198c8648a556c4c4f62d02489e commit cad6b8a984c99a198c8648a556c4c4f62d02489e Author: Julian Seward <js...@ac...> Date: Sat Feb 2 16:10:50 2019 +0100 Fix "make post-regtest-checks" after 441bfc5f51c7f5f80cc6491d23cbe2dc711d191f (dhat overhaul). Diff: --- tests/check_headers_and_includes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/check_headers_and_includes b/tests/check_headers_and_includes index 1c3e3f5..49a51e1 100755 --- a/tests/check_headers_and_includes +++ b/tests/check_headers_and_includes @@ -52,7 +52,7 @@ my %tool_dirs = ( "lackey" => 1, "none" => 1, "exp-bbv" => 1, - "exp-sgcheck" => 1 + "exp-sgcheck" => 1, "shared" => 1, ); |