[project @ 1999-12-21 13:01:59 by simonmar]

remove old unused $RTS_PREFIX I just noticed.

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 760e7dd..e21abe3 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -479,8 +479,6 @@ TEXI2HTML_PREFIX        = $(LITERATE_PREFIX)texi2html/
 HAPPY_PREFIX           = $(FPTOOLS_TOP)/happy/src/
 GREENCARD_PREFIX       = $(FPTOOLS_TOP)/green-card/src/
 
-RTS_PREFIX             = $(FPTOOLS_TOP)/common-rts/
-
 UNLIT_PREFIX           = $(FPTOOLS_TOP)/ghc/utils/unlit/
 UGEN_PREFIX             = $(FPTOOLS_TOP)/ghc/utils/ugen/
 STAT2RESID_PREFIX       = $(FPTOOLS_TOP)/ghc/utils/stat2resid/