[project @ 1998-04-14 10:43:10 by simonm]

don't include PRIVATE in NoFibSubDirs by default.

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 50906bd..7bd9106 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -346,7 +346,7 @@ HappyBinDistShScripts = happy
 #      PRIVATE
 #      PENDING
 #      UNUSED
-NoFibSubDirs = imaginary spectral real PRIVATE
+NoFibSubDirs = imaginary spectral real
 
 # The different ways to build nofib. Default is just to mirror
 # what is done for the ghc prelude libraries.