From 056e4c1faedbc5c9184e52604108590a7814f44d Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Fri, 8 Dec 2000 11:47:00 +0000
Subject: [PATCH] [project @ 2000-12-08 11:47:00 by rrt] config.h depends not
 just on fptools/mk/config.h but on fptools/mk/config.mk,
 for architecture information.

---
 ghc/includes/Makefile |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index 19471af..1481c35 100644
--- a/ghc/includes/Makefile
+++ b/ghc/includes/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.13 2000/08/07 16:07:53 rrt Exp $
+# $Id: Makefile,v 1.14 2000/12/08 11:47:00 rrt Exp $
 #
 
 TOP = ..
@@ -27,7 +27,7 @@ gmp.h : $(FPTOOLS_TOP)/ghc/rts/gmp/gmp.h
 # and puts it in fptools/mk/config.h. We copy it down to here, prepending
 # some make variables specifying cpp platform variables.
 #
-$(H_CONFIG) : $(FPTOOLS_TOP)/mk/config.h
+$(H_CONFIG) : $(FPTOOLS_TOP)/mk/config.h $(FPTOOLS_TOP)/mk/config.mk
 
 $(H_CONFIG) :
 	@echo "Creating $@..."
-- 
1.7.10.4