Changed gawk to awk.

Bruce Momjian <bruce@momjian.us>

Commit: 0d83b86720d45b8ac7fbe7fd0cb819e2fbe36363
Author: Bruce Momjian <bruce@momjian.us>
Date: 1996-09-25T19:24:58Z
Releases: 7.1.1
Changed gawk to awk.

Files

PathChange+/−
src/backend/catalog/genbki.sh modified +2 −2