]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
call indent for each file separately in the hope that this fixes some strange indenta...
authorheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 21 Dec 2012 02:47:21 +0000 (02:47 +0000)
committerheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 21 Dec 2012 02:47:21 +0000 (02:47 +0000)
git-svn-id: https://svn.dealii.org/trunk@27846 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/Makefile

index 9084d9e73994b262f03ac767c861bf43462f1db3..460bce3223d8d8854aefab4576550c9126f354c6 100644 (file)
@@ -158,7 +158,11 @@ style-cc-files:= $(wildcard source/*/*.cc)
 style-examples:= $(wildcard examples/*/*.cc)
 indent:
        @echo "============ Indenting all files"
-       astyle --options=common/astyle.rc $(style-h-files) $(style-cc-files) $(style-examples)
+       @for f in  $(style-h-files) $(style-cc-files) $(style-examples) ;\
+       do\
+         echo $$f ;\
+         astyle --options=common/astyle.rc $$f ;\
+       done
 
 .PHONY: indent 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.