root/run @ 10025
1 |
#!/bin/bash -e
|
---|---|
2 |
. "$(dirname "${BASH_SOURCE[0]}")"/lib/runscripts/import.run |
3 |
.rel lib/sh/local.sh |
4 |
.rel lib/sh/make.sh |
5 |
|
6 |
if self_not_included; then |
7 |
|
8 |
: "${schema:=public}" |
9 |
: "${exports_dir:="$top_dir"/exports}" |
10 |
|
11 |
geoscrub_input/make() # runtime: 40 s ("real 0m41.592s") @ r9897 |
12 |
{
|
13 |
echo_func; set_make_vars; check_fake_target_exists |
14 |
pg_export_table_to_dir_no_header "$target_filename" |
15 |
}
|
16 |
|
17 |
export_()
|
18 |
{
|
19 |
echo_func |
20 |
geoscrub_input/make |
21 |
}
|
22 |
|
23 |
fi
|