From 58463dba0e9b67005a696f8c142c1832ece9f6c4 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Wed, 15 Nov 2006 10:08:43 +0000
Subject: [PATCH] not needed anymore

[[Imported from SVN: r1038]]
---
 gcc.opts | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 gcc.opts

diff --git a/gcc.opts b/gcc.opts
deleted file mode 100644
index 05c71fac..00000000
--- a/gcc.opts
+++ /dev/null
@@ -1,18 +0,0 @@
-# $Id$
-
-# options for gcc/g++
-# remember to run ./autogen.sh after changing these values!
-
-# name of compiler binaries
-COMP="gcc-3.4"
-CXXCOMP="g++-3.4"
-
-# flags set in any case
-FLAGS=""
-
-# additional flags for debugging
-DEBUGFLAGS="-g -DDUNE_ISTL_WITH_CHECKING"
-
-# additional flags for optimization
-OPTIMFLAGS="-O3"
-
-- 
GitLab