Project

General

Profile

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
(9-9/10)