From d904adf82b9df633f204737c06d1fd80324bc524 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 21 Nov 2000 16:29:26 +0000
Subject: [PATCH] [project @ 2000-11-21 16:29:26 by simonmar] merge rev.
 1.44.2.4

---
 ghc/driver/Makefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/driver/Makefile b/ghc/driver/Makefile
index d6571ec..0992da3 100644
--- a/ghc/driver/Makefile
+++ b/ghc/driver/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.45 2000/11/07 10:42:56 simonmar Exp $
+# $Id: Makefile,v 1.46 2000/11/21 16:29:26 simonmar Exp $
 #
 
 TOP=..
@@ -63,6 +63,7 @@ Config.hs : $(FPTOOLS_TOP)/mk/config.mk Makefile
 	@echo "cRM                   = \"$(RM)\"" >> Config.hs
 	@echo "cCONTEXT_DIFF         = \"$(CONTEXT_DIFF)\"" >> Config.hs
 	@echo "cHaveLibGmp           = \"$(HaveLibGmp)\"" >> Config.hs
+	@echo "cLibsReadline         = \"$(LibsReadline)\"" >> Config.hs
 	@echo "cGhcWithRegisterised  = \"$(GhcWithRegisterised)\"" >> Config.hs
 	@echo "cUSER_WAY_NAMES       = \"$(USER_WAY_NAMES)\"" >> Config.hs
 	@echo "cUSER_WAY_OPTS        = \"$(USER_WAY_OPTS)\"" >> Config.hs
-- 
1.7.10.4