|
From: Mark W. <ma...@so...> - 2020-12-08 10:55:45
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=3404c75352b2d3344fb17a958f5864cf3695b0c9 commit 3404c75352b2d3344fb17a958f5864cf3695b0c9 Author: Mark Wielaard <ma...@kl...> Date: Tue Dec 8 11:52:08 2020 +0100 check_headers_and_includes: Add dhat/dhat.h to tool_export_header dhat now has a public header dhat/dhat.h, this header may include valgrind.h directly. Make sure check_headers_and_includes knows. Diff: --- tests/check_headers_and_includes | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/check_headers_and_includes b/tests/check_headers_and_includes index 0148cbf4de..509f24488f 100755 --- a/tests/check_headers_and_includes +++ b/tests/check_headers_and_includes @@ -73,6 +73,7 @@ my %dirs_to_ignore = ( ); my %tool_export_header = ( + "dhat/dhat.h" => 1, "drd/drd.h" => 1, "helgrind/helgrind.h" => 1, "memcheck/memcheck.h" => 1, |