# HG changeset patch
# User kaf24@scramble.cl.cam.ac.uk
# Date 1065860043 0
# Node ID 3c65c135622550bde2324d5e3bb2a055153f3d7c
# Parent  d5e8cbd474a3b1b776fbbfeaa9b1c8d10fae2ab8
bitkeeper revision 1.504 (3f87bbcbtlFf9Z9aNjetFO1sTxeh1A)

Makefile:
  Another manual merge.


diff -r d5e8cbd474a3 -r 3c65c1356225 tools/misc/Makefile
--- a/tools/misc/Makefile	Sat Oct 11 08:12:56 2003 +0000
+++ b/tools/misc/Makefile	Sat Oct 11 08:14:03 2003 +0000
@@ -7,7 +7,7 @@ HDRS     = $(wildcard *.h)
 SRCS     = $(wildcard *.c)
 OBJS     = $(patsubst %.c,%.o,$(SRCS))
 
-TARGETS  = xen_read_console xen_cpuperf
+TARGETS  = xen_read_console xen_cpuperf xen_refresh_dev
 
 INSTALL  = $(TARGETS) xen-mkdevnodes xen-clone