check-local-headers: Ignore <arch> headers
commit9f45bfe790a59bfc072ef096b21dc701e03bccf9
authorChris Metcalf <cmetcalf@tilera.com>
Tue, 30 Oct 2012 18:17:49 +0000 (30 14:17 -0400)
committerChris Metcalf <cmetcalf@tilera.com>
Tue, 30 Oct 2012 18:18:17 +0000 (30 14:18 -0400)
treea1e95b3d89851d1938e42418c6c24b22c132a30c
parent47cc1490e0a610bd74a31c6699a3859a823da9b3
check-local-headers: Ignore <arch> headers

The tile architecture's Linux port installs headers in an
<arch> directory; these headers are in part shared with glibc.
Ignore these headers for check-local-headers like we ignore
all the other Linux headers.
scripts/check-local-headers.sh