#!/bin/bash
cd /usr/src/gawk-*/ ||exit

patch -p 1 <../gawk-3.1.5-segfault_fix-1.patch


./configure --prefix=/usr --libexecdir=/usr/lib &&
make &&
#make check &&
rm -rf /usr/bin/{,p}gawk-* &&
make install &&
cd /usr/bin &&
rm -rf {,p}gawk &&
ln -s gawk-* gawk &&
ln -s pgawk-* pgawk