diff -r e08c65e27557 -r 873a5b60a7ea stage4/Makefile
--- a/stage4/Makefile	Wed Jul 11 09:53:27 2007 +0200
+++ b/stage4/Makefile	Thu Jul 12 11:24:32 2007 +0200
@@ -1,5 +1,5 @@
 # include the system specific Makefile
-#include ../../../Makefile.$(shell uname)
+include ../Makefile.$(shell uname)
 
 
 
@@ -13,16 +13,7 @@
 	find . -depth -mindepth 2 -maxdepth 2 -name Makefile -printf %h\\n | xargs -i make -C{} $@
 
 
-#get warnings, debugging information and optimization
-CXXFLAGS  = -Wall -pedantic -Wpointer-arith -Wwrite-strings
-# CXXFLAGS += -Werror
-
-CXXFLAGS += -ggdb -O3 -funroll-loops
-# Note: if the optimizer crashes, we'll leave out the -O3 for those files
-
-CXXFLAGS += -I. -I../* -I../../absyntax
-
-
+CXXFLAGS += -I. -I../*
 
 #how to make things in subdirectories etc
 ../% /% absyntax/% stage1_2/% stage3/% stage4/% util/%: