#!/bin/sh EXIT=: trap "" QUIT INT TERM started() { EXIT="$EXIT;stop $1 $2" trap "$EXIT" EXIT echo "$1 started, pid $2" } stop() { echo -n "Stopping $1... " kill "$2" 2> /dev/null sleep 2 kill -9 "$2" 2> /dev/null echo "OK" } while test -n "$1"; do "$1" shift done tools/sims/BIN/pdp10-kl build/pdp10-kl/run exit 0