check-local-headers: Ignore systemtap headers
commite8cde5930538fe788117ac4a963cf59ce89e367f
authorAndreas Schwab <schwab@redhat.com>
Wed, 6 Apr 2011 14:40:01 +0000 (6 16:40 +0200)
committerAndreas Schwab <schwab@redhat.com>
Thu, 7 Apr 2011 06:42:18 +0000 (7 08:42 +0200)
treeaea08a27abdde101138946f2ba97876f16b3bcbf
parent994ea94c1f6ec04fc51394eb0d7f20fa2e088397
check-local-headers: Ignore systemtap headers
ChangeLog
scripts/check-local-headers.sh