changeset 107651:c7340d934f35

* makefile.w32-in ($(BLD)/bidi.$(O)): Add dependency on w32gui.h.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 30 Mar 2010 14:15:45 +0200
parents ef73fd2fd546
children 861199fb7574
files src/ChangeLog src/makefile.w32-in
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/ChangeLog	Tue Mar 30 13:02:24 2010 +0300
+++ b/src/ChangeLog	Tue Mar 30 14:15:45 2010 +0200
@@ -1,3 +1,7 @@
+2010-03-30  Juanma Barranquero  <lekktu@gmail.com>
+
+	* makefile.w32-in ($(BLD)/bidi.$(O)): Add dependency on w32gui.h.
+
 2010-03-30  Eli Zaretskii  <eliz@gnu.org>
 
 	Initial support for bidirectional editing.
--- a/src/makefile.w32-in	Tue Mar 30 13:02:24 2010 +0300
+++ b/src/makefile.w32-in	Tue Mar 30 14:15:45 2010 +0200
@@ -345,7 +345,8 @@
 	$(SRC)/lisp.h \
 	$(SRC)/buffer.h \
 	$(SRC)/character.h \
-	$(SRC)/dispextern.h
+	$(SRC)/dispextern.h \
+	$(SRC)/w32gui.h
 
 $(BLD)/buffer.$(O) : \
 	$(SRC)/buffer.c \