Index: tools/clean
===================================================================
--- tools/clean	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
+++ tools/clean	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+ARCH="`basename "$0" | awk -F. '{ if (NF > 1) print \$NF }'`"
+if [ -z "$ARCH" ]; then
+	for ARCH in arch/* ; do
+		make clean "ARCH=`basename "$ARCH"`"
+	done
+else
+	make clean "ARCH=$ARCH"
+fi