aboutsummaryrefslogtreecommitdiff
path: root/scripts/check-local-headers.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/check-local-headers.sh')
-rwxr-xr-xscripts/check-local-headers.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh
index 08ed880c5d..cacb842def 100755
--- a/scripts/check-local-headers.sh
+++ b/scripts/check-local-headers.sh
@@ -1,5 +1,5 @@
#! /bin/bash
-# Copyright (C) 2005,2007,2009,2011 Free Software Foundation, Inc.
+# Copyright (C) 2005-2012 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
@@ -22,6 +22,9 @@ objpfx="$2"
# To avoid long paths.
cd "$objpfx"
+# OK if *.os is missing.
+shopt -s nullglob
+
# Search all dependency files for file names in the include directory.
# There are a few system headers we are known to use.
exec ${AWK} -v includedir="$includedir" '