#!/usr/bin/zsh [...] python foo.py& PID=$! echo "PID=$PID" sleep 10 make foo kill -TERM $PID