Index: clean
===================================================================
--- clean	(revision e16e036a378fc32c389e8e9d78aabfc0682401f2)
+++ clean	(revision e16e036a378fc32c389e8e9d78aabfc0682401f2)
@@ -0,0 +1,3 @@
+#! /bin/sh
+
+make clean