1 |
9555
|
aaronmk
|
#!/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
|