summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2008-05-02 14:16:24 +0000
committerPeter Eisentraut2008-05-02 14:16:24 +0000
commitb3fb2d6505d6f31c3f7491b6b900cbbe251aec2a (patch)
tree57953ba60b68e3c5ad3188efdba9cb8c46096b87
parent72e1d28afd686e19b8e7f32817e927448123fb78 (diff)
Make the AWK default value also take effect if $AWK is an empty string.
-rw-r--r--src/backend/utils/Gen_fmgrtab.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/backend/utils/Gen_fmgrtab.sh b/src/backend/utils/Gen_fmgrtab.sh
index cb675f775a5..1fda8a99390 100644
--- a/src/backend/utils/Gen_fmgrtab.sh
+++ b/src/backend/utils/Gen_fmgrtab.sh
@@ -9,13 +9,15 @@
#
#
# IDENTIFICATION
-# $PostgreSQL: pgsql/src/backend/utils/Gen_fmgrtab.sh,v 1.38 2008/01/01 19:45:52 momjian Exp $
+# $PostgreSQL: pgsql/src/backend/utils/Gen_fmgrtab.sh,v 1.39 2008/05/02 14:16:24 petere Exp $
#
#-------------------------------------------------------------------------
CMDNAME=`basename $0`
-: ${AWK='awk'}
+if [ x"$AWK" = x"" ]; then
+ AWK=awk
+fi
cleanup(){
[ x"$noclean" != x"t" ] && rm -f "$SORTEDFILE" "$$-$OIDSFILE" "$$-$TABLEFILE"