Project

General

Profile

1
#!/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
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
fi
(7-7/15)