diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2007-01-12 17:02:22 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2007-01-12 17:02:22 +0000 |
| commit | 8980796b15969fe84bd6bf5cd9eece93eaf62109 (patch) | |
| tree | 7f433b682232e71419dfb3619e4cf382df4120be /scripts | |
| parent | a1d87b5dfbdd951808b0a83dfa6d2f1654ccb37f (diff) | |
[BZ #3840]
2007-01-12 Ulrich Drepper <drepper@redhat.com>
[BZ #3840]
* scripts/check-local-headers.sh: Restrict to testing .o.d, .os.d,
and .oS.d files.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check-local-headers.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh index 88c85f7106..c2d6ba4a08 100755 --- a/scripts/check-local-headers.sh +++ b/scripts/check-local-headers.sh @@ -1,5 +1,5 @@ #! /bin/bash -# Copyright (C) 2005 Free Software Foundation, Inc. +# Copyright (C) 2005, 2007 Free Software Foundation, Inc. # This file is part of the GNU C Library. # The GNU C Library is free software; you can redistribute it and/or @@ -26,7 +26,7 @@ cd "$objpfx" # Search all dependency files for file names in the include directory. # There are a few system headers we are known to use. -if fgrep "$includedir" */*.d | +if fgrep "$includedir" */*.{o,os,oS}.d | fgrep -v "$includedir/asm" | fgrep -v "$includedir/linux" | fgrep -v "$includedir/selinux" | |