root/bin/stop_imports @ 10753
| 1 |
#!/bin/bash
|
|---|---|
| 2 |
# Stops all running imports
|
| 3 |
|
| 4 |
stop_imports_main ()
|
| 5 |
{
|
| 6 |
local self="${BASH_SOURCE[0]}" |
| 7 |
local selfDir="$(dirname -- "$self")" |
| 8 |
|
| 9 |
if test "${BASH_LINENO[1]}" = 0; then # was run without initial "." |
| 10 |
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 "$@" |