]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Set --options=none when indenting .inst.in files. 3058/head
authorDavid Wells <wellsd2@rpi.edu>
Sat, 3 Sep 2016 16:31:49 +0000 (12:31 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Sat, 3 Sep 2016 16:31:49 +0000 (12:31 -0400)
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

index 84809134e099562ca86def809e217f15bc998d27..551d62dce50c583e7a94d30d0df6a4e72074e49e 100755 (executable)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.