diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | lib/makefile.w32-in | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index cd14d49406d..554103d149e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-08-25 Juanma Barranquero <lekktu@gmail.com> + + * lib/makefile.w32-in ($(BLD)/execinfo.$(O)): Update dependencies. + 2012-08-25 Eli Zaretskii <eliz@gnu.org> * lib/makefile.w32-in ($(BLD)/execinfo.$(O), execinfo.h): New targets. diff --git a/lib/makefile.w32-in b/lib/makefile.w32-in index 7df68fd3300..f0cea56f829 100644 --- a/lib/makefile.w32-in +++ b/lib/makefile.w32-in @@ -131,7 +131,9 @@ $(BLD)/dtotimespec.$(O) : \ $(CONFIG_H) $(BLD)/execinfo.$(O) : \ - $(GNU_LIB)/execinfo.h + $(GNU_LIB)/execinfo.c \ + $(GNU_LIB)/execinfo.h \ + $(CONFIG_H) $(BLD)/getopt.$(O) : \ $(GNU_LIB)/getopt.c \ |