add Makefiles to cleanspaces target

paparazzi · Sep 13, 2012 · 3345e0e · 3345e0e
1 parent 89cd9e4
commit 3345e0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -239,6 +239,7 @@ clean:
 cleanspaces:
 	find sw -path sw/ext -prune -o -name '*.[ch]' -exec sed -i {} -e 's/[ \t]*$$//' \;
 	find conf -name '*.makefile' -exec sed -i {} -e 's/[ \t]*$$//' ';'
+	find . -path ./sw/ext -prune -o -name Makefile -exec sed -i {} -e 's/[ \t]*$$//' ';'
 	find sw -name '*.ml' -o -name '*.mli' -exec sed -i {} -e 's/[ \t]*$$//' ';'
 	find conf -name '*.xml' -exec sed -i {} -e 's/[ \t]*$$//' ';'