empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

indent-emp: Take files to indent from command line

Browse source 
Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
This commit is contained in:
Markus Armbruster 2016-05-31 21:34:33 +02:00
parent a65fcfc23c
commit c8e2a02d2f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/indent-emp
View file

@ -19,7 +19,7 @@ done
# Therefore, we have to pre- and postprocess with sed. Without this
# bug, a simple find | xargs indent would do.
for i in `find -name \*.[ch]`
for i
do
if sed 's#/\*\([A-Z][A-Z]*\)\*/#/* @@@\1@@@ */#g' <$i | indent $opts | sed 's#/\* @@@\([A-Z][A-Z]*\)@@@ \*/#/*\1*/#g' >$$
then mv $$ $i