Project

General

Profile

1
#!/bin/sh
2
# Stops all running imports
3

    
4
self="${BASH_ARGV[0]}"
5
selfDir="$(dirname -- "$self")"
6

    
7
if test "${BASH_LINENO[0]}" = 0; then # was run without initial "."
8
    echo "Usage: . $0 (note initial \".\")"|fold -s >&2
9
    exit 2
10
fi
11

    
12
for job in $(jobs|grep -F 'make inputs/'|"$selfDir/jobspecs"); do
13
    kill $job
14
done
(36-36/42)