From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 18 Aug 2016 21:13:07 +0000 (-0600)
Subject: Do not use 'xargs' with locally defined functions.
X-Git-Tag: v8.5.0-rc1~755^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ef81e5db20138cc8354e2444ff4d8ed5b57d140;p=dealii.git

Do not use 'xargs' with locally defined functions.

This breaks some versions of 'bash'. Rather, just run the function on each
individual file -- they are not too many anyway, and should indent rather
quickly.
---

diff --git a/contrib/utilities/indent b/contrib/utilities/indent
index c9527da113..b22a3bac58 100755
--- a/contrib/utilities/indent
+++ b/contrib/utilities/indent
@@ -62,5 +62,6 @@ format_inst()
     rm $f.tmp $f.tmp.orig
 }
 
-export -f format_inst
-find source -name '*.inst.in' | xargs -n 1 -P 10 -I % bash -c 'format_inst "$@"' _ %
+for i in `find source -name '*.inst.in'` ; do
+  format_inst $i
+done