2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index ab0bf5f..33d0e1b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2015-09-14  Carlos O'Donell  <carlos@redhat.com>
+
+	* Makefile ($(objpfx)check-local-headers.out): Redirect stdin from
+	/dev/null.
+
 2015-09-13  Samuel Thibault  <samuel.thibault@ens-lyon.org>
 
 	* sysdeps/mach/hurd/Makefile ($(patsubst %,$(hurd-objpfx)hurd/%.%,auth
diff --git a/Makefile b/Makefile
index e07309e..a2abfb9 100644
--- a/Makefile
+++ b/Makefile
@@ -262,7 +262,7 @@ endif
 
 $(objpfx)check-local-headers.out: scripts/check-local-headers.sh
 	AWK='$(AWK)' scripts/check-local-headers.sh \
-	  "$(includedir)" "$(objpfx)" > $@; \
+	  "$(includedir)" "$(objpfx)" < /dev/null > $@; \
 	$(evaluate-test)
 
 ifneq ($(PERL),no)