This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [PATCH] Replace */*.{o,os,oS}.d with */*.o*.d
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" '