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

[H.J. Lu]

Hi,

WIth --disable-shared, there is no *.os.   This patch replaces
*.{o,os,oS}.d with *.o*.d.  OK to install?

Thanks.

H.J.
---
	* scripts/check-local-headers.sh: Replace */*.{o,os,oS}.d with
	*/*.o*.d.

diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh
index 08ed880..a2ca8ad 100755
--- a/scripts/check-local-headers.sh
+++ b/scripts/check-local-headers.sh
@@ -39,4 +39,4 @@ BEGIN {
     }
   }
 }
-END { exit status }' */*.{o,os,oS}.d
+END { exit status }' */*.o*.d
-- 
1.7.11.4