[PATCH] Replace */*.{o,os,oS}.d with */*.o*.d

[H.J. Lu]

On Fri, Sep 7, 2012 at 1:26 PM, Roland McGrath <roland@hack.frob.com> wrote:
> Missing copyright update.  That script already presumes bash.
> So just add "shopt -s nullglob" before the awk command instead.
>
>
> Thanks,
> Roland

This is what I checked in.

Thanks.

-- 
H.J.
--
	* scripts/check-local-headers.sh: Add "shopt -s nullglob".

diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh
index 08ed880..cacb842 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" '