]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Don't generate status output. 2329/head
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 10 Mar 2016 14:59:58 +0000 (08:59 -0600)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 10 Mar 2016 14:59:58 +0000 (08:59 -0600)
Also provide an error if we couldn't find the right version of
astyle. This didn't matter much before because the tool was always
called on the command line, but is important now that it can be called
by 'make indent'.

contrib/utilities/indent

index ca5c34f32f31bae00966e64ec4397388d71170b9..492d3717bd19b6950e4855b87c1e7a0d649e1644 100755 (executable)
@@ -1,7 +1,7 @@
 #!/bin/bash
 ## ---------------------------------------------------------------------
 ##
-## Copyright (C) 2012 - 2013, 2015 by the deal.II authors
+## Copyright (C) 2012 - 2013, 2015, 2016 by the deal.II authors
 ##
 ## This file is part of the deal.II library.
 ##
 
 if test ! -d source -o ! -d include -o ! -d examples ; then
   echo "*** This script must be run from the top-level directory of deal.II."
-  exit
+  exit 1
 fi
 
 if test ! -f contrib/utilities/astyle.rc ; then
   echo "*** No style file contrib/utilities/astyle.rc found."
-  exit
+  exit 1
 fi
 
 if test -z "`which astyle`" ; then
@@ -30,19 +30,17 @@ if test -z "`which astyle`" ; then
   echo "*** You can download astyle from http://astyle.sourceforge.net/"
   echo "*** Note that you will need exactly version 2.04 (no newer or"
   echo "*** older version will yield the correct indentation)."
-  exit
+  exit 1
 fi
 
 if test "`astyle --version 2>&1`" != "Artistic Style Version 2.04" ; then
   echo "*** Found a version of astyle different than the required version 2.04."
-  exit
+  exit 1
 fi
 
 
 
 # collect all header and source files and process them in batches of 50 files
 # with up to 10 in parallel
-echo "--- Indenting all deal.II header and source files"
-
 find tests include source examples \( -name '*.cc' -o -name '*.h' \) -print | xargs -n 50 -P 10 astyle --options=contrib/utilities/astyle.rc
 

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.