From: Florian Krohm <florian@eich-krohm.de>
Date: Fri, 20 Sep 2013 12:12:52 +0000 (+0000)
Subject: Add the install directory that gets created by the nightly script.
X-Git-Tag: svn/VALGRIND_3_9_0~118
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b85b4fc5608f0e7ce26d03d41d9d9085f810daea;p=thirdparty%2Fvalgrind.git

Add the install directory that gets created by the nightly script.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13573
---

diff --git a/tests/check_headers_and_includes b/tests/check_headers_and_includes
index d558412d5f..2b9caf4e59 100755
--- a/tests/check_headers_and_includes
+++ b/tests/check_headers_and_includes
@@ -50,6 +50,7 @@ my %dirs_to_ignore = (
     ".deps" => 1,
     ".svn" => 1,
     ".in_place" => 1,
+    "Inst" => 1,            # the nightly scripts creates this
     "VEX" => 1,
     "docs" => 1,
     "auxprogs" => 1,