diff options
| author | Peter Eisentraut | 2008-05-02 14:16:24 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2008-05-02 14:16:24 +0000 |
| commit | b3fb2d6505d6f31c3f7491b6b900cbbe251aec2a (patch) | |
| tree | 57953ba60b68e3c5ad3188efdba9cb8c46096b87 | |
| parent | 72e1d28afd686e19b8e7f32817e927448123fb78 (diff) | |
Make the AWK default value also take effect if $AWK is an empty string.
| -rw-r--r-- | src/backend/utils/Gen_fmgrtab.sh | 6 |
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" |