changeset 307:c2b93789b292 trim

replace xargs with an explicit serial loop plus wait
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sun, 18 May 2025 13:08:04 +0100
parents 2bed05d3e158
children d52602a64e09
files bin/_runme.sh
diffstat 1 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/_runme.sh	Sat May 17 11:12:46 2025 +0100
+++ b/bin/_runme.sh	Sun May 18 13:08:04 2025 +0100
@@ -95,7 +95,15 @@
    fi | \
    if [ $pjobs -le 1 ]
    then
-    xargs -I ^ -n 1 bash -lc "doit ^"
+    while read inp
+     do
+      doit "$inp"
+    done
+    if [ "$debug" ]
+    then
+      ps --ppid $$
+    fi
+    wait
    else
     parallel --line-buffer -j $pjobs doit '{}' '{#}'
    fi