From 2fa6b60d0449b49fd9eaa75c72d07f10d45c9837 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 10 May 2005 13:55:01 +0000 Subject: Added option to disable readline. --- src/config.mk.in | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/config.mk.in') diff --git a/src/config.mk.in b/src/config.mk.in index 860e5bf0f..13395ff54 100644 --- a/src/config.mk.in +++ b/src/config.mk.in @@ -21,6 +21,8 @@ INSTALL = @INSTALL@ GHC = @GHC@ GHCI = @GHCI@ +READLINE = @READLINE@ + ENABLE_JAVA = @ENABLE_JAVA@ JAVAC = @JAVAC@ -- cgit v1.2.3