|
1
|
#!/bin/bash -e
|
|
2
|
. "$(dirname "${BASH_SOURCE[0]}")"/local.run
|
|
3
|
.rel ../sh/db_make.sh
|
|
4
|
.rel ../sh/datasrc.sh
|
|
5
|
|
|
6
|
if self_not_included; then
|
|
7
|
|
|
8
|
: "${schema="$(log+ 2 cd "$top_dir"; basename "$PWD")"}"; export schema
|
|
9
|
dir2schema
|
|
10
|
|
|
11
|
datasrc_make() # runs make in datasrc dir
|
|
12
|
# requires Makefile in datasrc dir with `include ../input.Makefile`
|
|
13
|
{
|
|
14
|
begin_target
|
|
15
|
if remaking; then set -- "${@/%/-remake}"; fi #replace empty str at end (/%)
|
|
16
|
make --directory="$top_dir" "$@"
|
|
17
|
}
|
|
18
|
|
|
19
|
fi
|
