From: David Wells Date: Sat, 3 Sep 2016 16:31:49 +0000 (-0400) Subject: Set --options=none when indenting .inst.in files. X-Git-Tag: v8.5.0-rc1~710^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F3058%2Fhead;p=dealii.git 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'. --- 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