mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
make cleanspaces
This commit is contained in:
@@ -212,6 +212,13 @@ clean:
|
||||
find . -mindepth 2 -name Makefile -exec sh -c '$(MAKE) -C `dirname {}` $@' \;
|
||||
find . -name '*~' -exec rm -f {} \;
|
||||
|
||||
cleanspaces:
|
||||
find ./sw/airborne -name '*.[ch]' -exec sed -i {} -e 's/[ \t]*$$//' \;
|
||||
find ./conf -name '*.makefile' -exec sed -i {} -e 's/[ \t]*$$//' ';'
|
||||
find ./sw -name '*.ml' -exec sed -i {} -e 's/[ \t]*$$//' ';'
|
||||
find ./sw -name '*.mli' -exec sed -i {} -e 's/[ \t]*$$//' ';'
|
||||
find ./conf -name '*.xml' -exec sed -i {} -e 's/[ \t]*$$//' ';'
|
||||
|
||||
dist_clean : clean
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user