Project

General

Profile

« Previous | Next » 

Revision 1552

Added bin/stop_imports to stop all running imports

View differences:

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