From: rrt <unknown>
Date: Tue, 23 Oct 2001 15:37:09 +0000 (+0000)
Subject: [project @ 2001-10-23 15:37:09 by rrt]
X-Git-Tag: Approximately_9120_patches~740
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=03c7150045397f475b159273a374fbe06e176534

[project @ 2001-10-23 15:37:09 by rrt]
Remove "Global option flags for utilities", as these are in config.mk, and
should only be there (secundum SDM).
---

diff --git a/mk/opts.mk b/mk/opts.mk
index 3c780de..abb4670 100644
--- a/mk/opts.mk
+++ b/mk/opts.mk
@@ -5,7 +5,7 @@
 #	This file defines Make variables for the
 #	option flags for each utility program
 #
-# 	$Id: opts.mk,v 1.26 2001/08/15 09:22:19 rrt Exp $
+# 	$Id: opts.mk,v 1.27 2001/10/23 15:37:09 rrt Exp $
 #
 #################################################################################
 
@@ -48,28 +48,6 @@
 
 #################################################################################
 #
-#		Global option flags for utilities
-#
-#################################################################################
-
-# These flags make flex 8-bit
-SRC_FLEX_OPTS	+= -8
-
-SRC_INSTALL_BIN_OPTS	+= -s
-
-# lint gets all CPP's flags too
-SRC_LINT_OPTS		+= -axz -DLINT $(SRC_CPP_OPTS)
-WAY$(_way)_LINT_OPTS	+= WAY$(_way)_CPP_OPTS
-
-# Default fptools options for dllwrap.
-SRC_BLD_DLL_OPTS += -mno-cygwin -mwin32 --target=i386-mingw32
-
-# Flags for CPP when running GreenCard on .pgc files
-GC_CPP_OPTS += -P -E -x c -traditional -D__GLASGOW_HASKELL__
-
-
-#################################################################################
-#
 #		Absolutely standard glue
 #
 #################################################################################