Project

General

Profile

1
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/../../../lib/runscripts/util.run
3
.rel ../../../lib/sh/local.sh
4

    
5
if self_not_included; then
6

    
7
cleanup() # makes the SQL suitable for PostgreSQL
8
{
9
	begin_target
10
	echo_run in_place "$top_file" $sed_cmd \
11
	-e 's! (BOOLEAN) ! /*\1*/INTEGER !' \
12
	-e 's! (DOUBLE PRECISION) (NULL) ! \1 /*\2*/ !'
13
}
14

    
15
all()
16
{
17
	begin_target
18
	with_rm cleanup
19
}
20

    
21
fi
(3-3/7)