From 3580374b8abcb7d174fcde563ac6298e741f63b2 Mon Sep 17 00:00:00 2001 From: Juanma Barranquero Date: Tue, 30 Mar 2010 14:15:45 +0200 Subject: [PATCH] * makefile.w32-in ($(BLD)/bidi.$(O)): Add dependency on w32gui.h. --- src/ChangeLog | 4 ++++ src/makefile.w32-in | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index 1e013964db6..7809565de87 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2010-03-30 Juanma Barranquero + + * makefile.w32-in ($(BLD)/bidi.$(O)): Add dependency on w32gui.h. + 2010-03-30 Eli Zaretskii Initial support for bidirectional editing. diff --git a/src/makefile.w32-in b/src/makefile.w32-in index edb3f3f711b..5eaba6374fd 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -345,7 +345,8 @@ $(BLD)/bidi.$(O) : \ $(SRC)/lisp.h \ $(SRC)/buffer.h \ $(SRC)/character.h \ - $(SRC)/dispextern.h + $(SRC)/dispextern.h \ + $(SRC)/w32gui.h $(BLD)/buffer.$(O) : \ $(SRC)/buffer.c \ -- 2.39.2