Project

General

Profile

1 11436 aaronmk
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/extract.run "$@"
3
4
if self_not_included; then
5
6 11462 aaronmk
export version="$extract_view"
7 11436 aaronmk
export public="$version"
8
9
all() # usage: inputs=(inputs/{src1,src2,...}/); ...
10
{
11 12968 aaronmk
	begin_target; : "${inputs:?}"
12 11436 aaronmk
	require_dot_script || return
13
14
	backup= . "$bin_dir"/import_all
15
16
	local jobs="$(jobs -p)"
17
	(waitpid $jobs; remake=1 export_) &
18
}
19
20
fi