diff -r df6a32249b46 -r 8450951a8e2d tools/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/Makefile	Sat Mar 03 16:04:50 2007 +0000
@@ -0,0 +1,2 @@
+all:
+	$(MAKE) -C ..