# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1747570084 -3600
# Node ID c2b93789b2921d7d277127e85692170d2048b782
# Parent  2bed05d3e158bab168b20b03b724063381ad804e
replace xargs with an explicit serial loop plus wait

diff -r 2bed05d3e158 -r c2b93789b292 bin/_runme.sh
--- 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