indent-emp: Take files to indent from command line

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>

diff --git a/src/scripts/indent-emp b/src/scripts/indent-emp
index 366e20c519aeb3cfbb35c6faed83a0c6072363d5..82a44e9d69c3a1ff1c48b130f379a16c84ee5ae0 100755 (executable)
--- a/src/scripts/indent-emp
+++ b/src/scripts/indent-emp
@@ -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