Skip to content
Snippets Groups Projects
Commit 546d5831 authored by Simon Marlow's avatar Simon Marlow
Browse files

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

remove old unused $RTS_PREFIX I just noticed.
parent 525a1e65
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 2 deletions
mk/config.mk.in
+ 0
− 2
View file @ 546d5831
......@@ -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/
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment