#!/bin/zsh
set -e

kill_child_jobs() {
    echo "In kill_child_jobs()..."

    # From https://unix.stackexchange.com/a/544167
    while kill %% >/dev/null; do :; done
}