diff --git a/gcc.opts b/gcc.opts deleted file mode 100644 index 05c71fac529bf54f5dfd0f6dec095155b32e4ddd..0000000000000000000000000000000000000000 --- 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" -