From: Wolfgang Bangerth 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=refs%2Fpull%2F2988%2Fhead;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