1
0

Compare commits

..

No commits in common. "3d620591ba00a29e2dd775c4fc706df669d9f5d3" and "db9e8eb03cb881cf4a1a2352331ba8983196f25c" have entirely different histories.

5 changed files with 5 additions and 4 deletions

1
all.sh
View File

@ -1,6 +1,7 @@
#!/bin/sh
set -e
# From https://stackoverflow.com/a/360275
kill_child_jobs() {
echo "In kill_child_jobs()..."
# Workaround for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482999

View File

@ -1,7 +1,6 @@
#!/bin/bash
set -e
kill_child_jobs() {
# From https://unix.stackexchange.com/a/544167
# From https://stackoverflow.com/a/360275
while kill %% 2>/dev/null; do sleep 0; done
}

View File

@ -1,6 +1,7 @@
#!/bin/sh
set -e
# From https://stackoverflow.com/a/360275
kill_child_jobs() {
echo "In kill_child_jobs()..."
# Workaround for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482999

View File

@ -40,7 +40,6 @@ do
printf '\t'
"$DIR/test-kill-child-jobs.sh" "$script" "$shell" || true
done
printf '\n'
fi
printf '\n'
done

1
zsh.sh
View File

@ -1,6 +1,7 @@
#!/bin/zsh
set -e
# From https://stackoverflow.com/a/360275
kill_child_jobs() {
echo "In kill_child_jobs()..."