Revision 1552
Added by Aaron Marcuse-Kubitza almost 13 years ago
bin/stop_imports | ||
---|---|---|
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 |
|
0 | 10 |
Also available in: Unified diff
Added bin/stop_imports to stop all running imports