diff options
| author | H.J. Lu <hjl.tools@gmail.com> | 2012-09-07 14:41:14 -0700 |
|---|---|---|
| committer | H.J. Lu <hjl.tools@gmail.com> | 2012-09-07 14:41:14 -0700 |
| commit | 3d9b46b3500566163815747173002d3d0bbb9b2f (patch) | |
| tree | b3cc8e4459d39b3fc3f2c2708bebb6f6a4618228 /scripts | |
| parent | de2139a9f25d8f7fb76f260fe7cc86ffd736a5d9 (diff) | |
Add "shopt -s nullglob" to check-local-headers.sh
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check-local-headers.sh | 5 |
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" ' |