From daf7c85170a99bd4da8e34636a9ced207e825fee Mon Sep 17 00:00:00 2001
From: David Wells <wellsd2@rpi.edu>
Date: Sat, 3 Sep 2016 12:31:49 -0400
Subject: [PATCH] Set --options=none when indenting .inst.in files.

This works around a problem where, if one has global astyle options
turned on, they will be used to indent all of the .inst.in files when
one calls 'make indent'.
---
 contrib/utilities/indent | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/utilities/indent b/contrib/utilities/indent
index 84809134e0..551d62dce5 100755
--- a/contrib/utilities/indent
+++ b/contrib/utilities/indent
@@ -52,7 +52,7 @@ format_inst()
     cp $f $f.tmp
     sed -i.orig 's#\\{#{ //#g' $f.tmp
     sed -i.orig 's#\\}#} //#g' $f.tmp
-    astyle --quiet $f.tmp
+    astyle --options=none --quiet $f.tmp
     sed -i.orig 's#{ //#\\{#g' $f.tmp
     sed -i.orig 's#} //#\\}#g' $f.tmp
     if ! diff -q $f $f.tmp >/dev/null
-- 
2.39.5