Project

General

Profile

1
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/extract.run "$@"
3

    
4
if self_not_included; then
5

    
6
export version="$extract_view"
7
export public="$version"
8

    
9
all() # usage: inputs=(inputs/{src1,src2,...}/); ...
10
{
11
	begin_target; : "${inputs:?}"
12
	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
(7-7/18)