diff options
| -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" |