From: simonmar Date: Tue, 21 Dec 1999 13:01:59 +0000 (+0000) Subject: [project @ 1999-12-21 13:01:59 by simonmar] X-Git-Tag: Approximately_9120_patches~5364 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=546d5831f6a6ac1c77607b8d9d322b987729b590;hp=525a1e6573af68e02e9fb59846c629edbaecbbb0;p=ghc-hetmet.git [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 --- 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/