#!/bin/sh

for file in `find -name 'Makefile'`
do
	dir=`dirname $file`
	if [ "$dir" = "." ]
	then
		continue
	fi
	cd $dir &&
	make clean 
	cd - >/dev/null
done

cd mono &&
nant clean

rm -f jmp_dump* lib/*
