diff options
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/makefile.w32-in | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d7a263df22..7922a92d0f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2012-09-05 Juanma Barranquero <lekktu@gmail.com> + + * makefile.w32-in ($(BLD)/sysdep.$(O)): Update dependencies. + 2012-09-04 Lars Ingebrigtsen <larsi@gnus.org> * eval.c (call_debugger): Make the function non-static so that we diff --git a/src/makefile.w32-in b/src/makefile.w32-in index a8dcf5f2ae..7b9c67bf13 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -1365,6 +1365,7 @@ $(BLD)/sysdep.$(O) : \ $(NT_INC)/sys/stat.h \ $(NT_INC)/unistd.h \ $(GNU_LIB)/allocator.h \ + $(GNU_LIB)/execinfo.h \ $(GNU_LIB)/ignore-value.h \ $(GNU_LIB)/utimens.h \ $(BLOCKINPUT_H) \ |