--- src/CONFIG/src/Makefile 2012-06-23 17:27:27.000000000 +0100
+++ new/CONFIG/src/Makefile 2012-06-24 03:05:52.043151077 +0100
@@ -580,6 +580,6 @@
confclean: $(CLEANdep)
rm -f *core* *.o config?.out
clean : $(CLEANdep)
- rm -f *.o x* config?.out *core*
+ rm -rf *.o x* config?.out *core*
cleanall: clean
$(MAKE) -f Make.top clean
