|
1
|
#!/bin/bash -e
|
|
2
|
. "$(dirname "${BASH_SOURCE[0]}")"/util.run
|
|
3
|
. "$(dirname "${BASH_SOURCE[0]}")"/../sh/local.sh
|
|
4
|
|
|
5
|
if self_not_included; then
|
|
6
|
|
|
7
|
: "${schema="$(log+ 2 cd "$top_dir"/..; basename "$PWD")"}"
|
|
8
|
: "${table="$( log+ 2 cd "$top_dir" ; basename "$PWD")"}"
|
|
9
|
export schema table
|
|
10
|
|
|
11
|
table_make() # usage: [silent=1] table_make target...
|
|
12
|
# requires Makefile in datasrc dir with `include ../input.Makefile`
|
|
13
|
# target names are relative to the table subdir itself, not the datasrc dir
|
|
14
|
{
|
|
15
|
echo_func; kw_params silent
|
|
16
|
make --directory="$(canon_rel_path "$top_dir"/..)" ${silent:+--silent }\
|
|
17
|
"${@/#/$table/}"
|
|
18
|
# "${@/#/$table/}": replaces empty str at beginning of str (/#) with $table/
|
|
19
|
}
|
|
20
|
|
|
21
|
fi
|
