From c8e2a02d2f6ac3ecf63aca1cdacf5f49db24ddf4 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Tue, 31 May 2016 21:34:33 +0200
Subject: [PATCH] indent-emp: Take files to indent from command line

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
---
 src/scripts/indent-emp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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