diff options
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/makefile.w32-in | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 50416679da5..4c9d573c74e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2003-03-17 Juanma Barranquero <lektu@terra.es> + + * makefile.w32-in ($(BLD)/xdisp.$(O)): Add dependency on blockinput.h + and files included from it. + 2003-03-16 Jason Rumney <jasonr@gnu.org> * w32gui.h: Use HDC for Display. diff --git a/src/makefile.w32-in b/src/makefile.w32-in index 704448c6d05..46cc230dc49 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -1252,6 +1252,7 @@ $(BLD)/xdisp.$(O) : \ $(EMACS_ROOT)/src/s/ms-w32.h \ $(EMACS_ROOT)/src/m/intel386.h \ $(EMACS_ROOT)/src/config.h \ + $(SRC)/atimer.h \ $(SRC)/blockinput.h \ $(SRC)/buffer.h \ $(SRC)/ccl.h \ @@ -1269,6 +1270,7 @@ $(BLD)/xdisp.$(O) : \ $(SRC)/macros.h \ $(SRC)/process.h \ $(SRC)/region-cache.h \ + $(SRC)/systime.h \ $(SRC)/termchar.h \ $(SRC)/termhooks.h \ $(SRC)/w32bdf.h \ |