| 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 |
12779
|
aaronmk
|
begin_target
|
| 16 |
11978
|
aaronmk
|
if remaking; then set -- "${@/%/-remake}"; fi #replace empty str at end (/%)
|
| 17 |
11169
|
aaronmk
|
make --directory="$top_dir" "$@"
|
| 18 |
|
|
}
|
| 19 |
|
|
|
| 20 |
10759
|
aaronmk
|
fi
|
