From 5c53d4bb9ee7ac760d45c14fc81ee3c2c55b280f Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 10 Nov 2010 21:58:33 +0100
Subject: [PATCH] Better reindent script (from newCompromise branch)

---
 src/reindent.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/reindent.sh b/src/reindent.sh
index bd515fd..c6623ff 100755
--- a/src/reindent.sh
+++ b/src/reindent.sh
@@ -1,5 +1,10 @@
 #!/bin/sh
 # 
-# Indent any changed files, ending in .c or .h
+# Indent any files ending in .c or .h
 #
-svn st | grep "^[MA].*\.[ch]$"| awk '{print $2}' | xargs indent
+# Apparently unstable behaviour is possible; a stupid fix for my
+# concrete problem was to always run it twice.
+#
+indent *.c *.h
+indent *.c *.h
+