Make the AWK default value also take effect if $AWK is an empty string.
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 2 May 2008 14:16:24 +0000 (14:16 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 2 May 2008 14:16:24 +0000 (14:16 +0000)
commitad86b03bde86a2e04bbe56f4b46a5eba28da91b4
tree8f8abf8a55cd701da4eec1b4627a8a0d5874c4ce
parentd0bcea64135c542ea24f6b560b002844df8cb927
Make the AWK default value also take effect if $AWK is an empty string.
src/backend/utils/Gen_fmgrtab.sh