From 21c670fe0c3f94b8006443d524b239920c3d788b Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 14 Apr 1998 10:38:57 +0000
Subject: [PATCH] [project @ 1998-04-14 10:38:50 by simonm] death to GHC_ONLY.

---
 mk/config.mk.in |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 11f3688..50906bd 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -344,10 +344,9 @@ HappyBinDistShScripts = happy
 #	real
 #	parallel
 #	PRIVATE
-#	GHC_ONLY
 #	PENDING
 #	UNUSED
-NoFibSubDirs = imaginary spectral real GHC_ONLY PRIVATE
+NoFibSubDirs = imaginary spectral real PRIVATE
 
 # The different ways to build nofib. Default is just to mirror
 # what is done for the ghc prelude libraries.
-- 
1.7.10.4