Project

General

Profile

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