#!/bin/sh
if gcc -v 2>&1 | fgrep 2.96 > /dev/null ;
then
echo patching o/makefile for gcc bug in 2.96
for v in o/makefile mp/makefile ; do 
cat $v | sed -e s:-O4:-O:g > foo
mv foo $v
done
fi

