root/bin/stop_imports @ 1798
| 1 | 1552 | aaronmk | #!/bin/sh
|
|---|---|---|---|
| 2 | # Stops all running imports
|
||
| 3 | |||
| 4 | 1797 | aaronmk | self="${BASH_ARGV[0]}" |
| 5 | selfDir="$(dirname -- "$self")" |
||
| 6 | |||
| 7 | 1552 | aaronmk | 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 | 1797 | aaronmk | for job in $(jobs|grep -F 'make inputs/'|"$selfDir/jobspecs"); do |
| 13 | kill $job |
||
| 14 | done
|