Andreas Haumer <andreas(at)xss(dot)co(dot)at> writes:> But genbki.sh is not SMP safe: it uses a temporary file> TMPFILE="$TMPDIR/genbkitmp.c"
Good catch. Applied for 7.4 --- thanks!
regards, tom lane