From 56ea17cad787925dd1eecd0355aba84f929bb1bc Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 23 Mar 2004 10:55:35 +0000 Subject: [PATCH] [project @ 2004-03-23 10:55:35 by simonmar] Remove GhcRtsThreaded - there's no reason to leave it in this file. --- mk/config.mk.in | 5 ----- 1 file changed, 5 deletions(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index 3040feb..4627356 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -364,11 +364,6 @@ GhcRtsCcOpts=-fomit-frame-pointer # Include the front panel code? Needs GTK+. GhcRtsWithFrontPanel = NO -# DEPRECATED: -# This option is no longer used. We now always build the threaded RTS, -# add the flag '-threaded' to GHC to get it. -GhcRtsThreaded=@ThreadedRts@ - ################################################################################ # # libraries project -- 1.7.10.4