From 0f85df18624a43be7570fe3e12de4c7febb2fc10 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 26 Jul 1999 18:37:26 +0000
Subject: [PATCH] [project @ 1999-07-26 18:37:26 by simonmar] Remove some
 unused things.

---
 mk/config.mk.in | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 27c9ffcb43b4..722aad2d26d5 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -175,13 +175,6 @@ GhcHcOpts=
 # GhcWithHscBuiltViaC - build GHC compiler proper (\`hsc') from .hc files?
 GhcWithHscBuiltViaC=@BootingFromHc@
 
-# Build hsc with -O and turn optimising flag on when compiling
-# the intermediate C file
-GhcUseGccForOptAsm=YES
-
-# Compile intermediate C file with debugging options set.
-GhcUseGccForDebuggingAsm=YES
-
 # Build a registerised version of hsc and runtime
 # (unregisterised used for Hugs at the moment)
 GhcWithRegisterised=YES
@@ -197,7 +190,6 @@ GhcWithNativeCodeGen=$(shell if (test x$(findstring $(HostArch_CPP),i386 alpha s
 # Building various ways?
 # (right now, empty if not).
 BuildingParallel=$(subst mp,YES,$(filter mp,$(WAYS)))
-BuildingProfiling=$(subst p,YES,$(filter p,$(WAYS)))
 BuildingGranSim=$(subst mg,YES,$(filter mg,$(WAYS)))
 
 #---------------------------------------------------------------
@@ -244,10 +236,6 @@ GhcLibsWithReadline=NO
 #
 ReadlineIncludePath=
 
-# Build the socket libraries?  (ToDo: is this used?)
-#
-GhcLibsWithSockets=YES
-
 # Strip local symbols from libraries?  This can make the libraries smaller,
 # but makes debugging somewhat more difficult.  Doesn't work with all ld's.
 #
-- 
GitLab