root/bin/stop_imports @ 1836
| 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
|