From 3ef81e5db20138cc8354e2444ff4d8ed5b57d140 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 18 Aug 2016 15:13:07 -0600 Subject: [PATCH] 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. --- contrib/utilities/indent | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.39.5