root/bin/stop_imports @ 7845
1 | 1855 | aaronmk | #!/bin/bash
|
---|---|---|---|
2 | 1552 | aaronmk | # Stops all running imports
|
3 | |||
4 | 1952 | aaronmk | stop_imports_main ()
|
5 | {
|
||
6 | local self="${BASH_SOURCE[0]}" |
||
7 | local selfDir="$(dirname -- "$self")" |
||
8 | |||
9 | 1953 | aaronmk | if test "${BASH_LINENO[1]}" = 0; then # was run without initial "." |
10 | 1952 | aaronmk | echo "Usage: . $self (note initial \".\")"|fold -s >&2 |
11 | return 2
|
||
12 | fi
|
||
13 | |||
14 | for job in $(jobs|grep -F 'make inputs/'|"$selfDir/jobspecs"); do |
||
15 | kill $job |
||
16 | done
|
||
17 | }
|
||
18 | stop_imports_main "$@" |