Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-29 02:38:07 +08:00
Code Issues Actions 24 Packages Projects Releases Wiki Activity

add Makefiles to cleanspaces target

Browse Source
This commit is contained in:
Felix Ruess
2012-09-13 14:55:51 +02:00
parent 89cd9e4f02
commit 3345e0e896
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+1
View File
@@ -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]*$$//' ';'