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
	echo_func
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
	echo_func
18
	cleanup
19
}
20

    
21
fi
(1-1/3)