Project

General

Profile

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 "$@"