diff --git a/src/scripts/indent-emp b/src/scripts/indent-emp
index 366e20c5..82a44e9d 100755
--- 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