root/bin/stop_imports @ 1603
| 1 |
#!/bin/sh
|
|---|---|
| 2 |
# Stops all running imports
|
| 3 |
|
| 4 |
if test "${BASH_LINENO[0]}" = 0; then # was run without initial "." |
| 5 |
echo "Usage: . $0 (note initial \".\")"|fold -s >&2 |
| 6 |
exit 2
|
| 7 |
fi
|
| 8 |
|
| 9 |
for job in $(jobs|grep -F 'make inputs/'|bin/jobspecs ); do kill $job; done |