Make the AWK default value also take effect if $AWK is an empty string.

petere · petere · commit b3fb2d6505d6 · 2008-05-02T14:16:24.000Z
diff --git 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"

Original file line number	Diff line number	Diff line change
`@@ -9,13 +9,15 @@`
`9`	`9`	`#`
`10`	`10`	`#`
`11`	`11`	`# IDENTIFICATION`
`12`		`-# $PostgreSQL: pgsql/src/backend/utils/Gen_fmgrtab.sh,v 1.38 2008/01/01 19:45:52 momjian Exp $`
	`12`	`+# $PostgreSQL: pgsql/src/backend/utils/Gen_fmgrtab.sh,v 1.39 2008/05/02 14:16:24 petere Exp $`
`13`	`13`	`#`
`14`	`14`	`#-------------------------------------------------------------------------`
`15`	`15`
`16`	`16`	CMDNAME=`basename $0`
`17`	`17`
`18`		`-: ${AWK='awk'}`
	`18`	`+if [ x"$AWK" = x"" ]; then`
	`19`	`+ AWK=awk`
	`20`	`+fi`
`19`	`21`
`20`	`22`	`cleanup(){`
`21`	`23`	`[ x"$noclean" != x"t" ] && rm -f "$SORTEDFILE" "$$-$OIDSFILE" "$$-$TABLEFILE"`