diff options
Diffstat (limited to 'scripts/check-local-headers.sh')
| -rwxr-xr-x | scripts/check-local-headers.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh index 88c85f7106..5896a933d2 100755 --- a/scripts/check-local-headers.sh +++ b/scripts/check-local-headers.sh @@ -30,7 +30,8 @@ if fgrep "$includedir" */*.d | fgrep -v "$includedir/asm" | fgrep -v "$includedir/linux" | fgrep -v "$includedir/selinux" | -fgrep -v "$includedir/gd"; then +fgrep -v "$includedir/gd" | +fgrep -v "$includedir/c++"; then # If we found a match something is wrong. exit 1 fi |