2 files changed, 5 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index fbaf555f8b2..1a836543d69 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2012-08-25  Eli Zaretskii  <eliz@gnu.org>
+
+        * makefile.w32-in ($(BLD)/alloc.$(O)): Depend on $(GNU_LIB)/execinfo.h.
+
 2012-08-25  Paul Eggert  <eggert@cs.ucla.edu>
 
         On assertion failure, print backtrace if available.
diff --git a/src/makefile.w32-in b/src/makefile.w32-in
index bdb292099bc..e5959e0b1a5 100644
--- a/src/makefile.w32-in
+++ b/src/makefile.w32-in
@@ -480,6 +480,7 @@ $(BLD)/alloc.$(O) : \
         $(SRC)/syssignal.h \
         $(SRC)/w32.h \
         $(NT_INC)/unistd.h \
+        $(GNU_LIB)/execinfo.h \
         $(GNU_LIB)/verify.h \
         $(BLOCKINPUT_H) \
         $(BUFFER_H) \