Compare commits
3 Commits
db9e8eb03c
...
3d620591ba
Author | SHA1 | Date | |
---|---|---|---|
3d620591ba | |||
403f7193e1 | |||
4220bc174f |
1
all.sh
1
all.sh
|
@ -1,7 +1,6 @@
|
|||
#!/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
|
||||
|
|
3
bash.sh
3
bash.sh
|
@ -1,6 +1,7 @@
|
|||
#!/bin/bash
|
||||
set -e
|
||||
|
||||
kill_child_jobs() {
|
||||
# From https://stackoverflow.com/a/360275
|
||||
# From https://unix.stackexchange.com/a/544167
|
||||
while kill %% 2>/dev/null; do sleep 0; done
|
||||
}
|
||||
|
|
1
dash.sh
1
dash.sh
|
@ -1,7 +1,6 @@
|
|||
#!/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
|
||||
|
|
|
@ -40,6 +40,7 @@ do
|
|||
printf '\t'
|
||||
"$DIR/test-kill-child-jobs.sh" "$script" "$shell" || true
|
||||
done
|
||||
|
||||
printf '\n'
|
||||
fi
|
||||
printf '\n'
|
||||
done
|
||||
|
|
Loading…
Reference in New Issue
Block a user