diff options
| -rw-r--r-- | mk/config.mk.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 3040feb8cb..4627356b7e 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 |