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 --git a/tests/check_headers_and_includes b/tests/check_headers_and_includes
index 0148cbf4de26208a1c7cc4b39f07cdc71422f1a7..509f24488f1cf0b2286e58ebdcd70f2f1dafaf78 100755 (executable)
--- 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,