steven 1d11ee4ac4 prefer awk instead of gawk if gawk is installed. ...

from Dave Steinberg <dave at redterror.net> via maintainer Will Maier

regen patches while here.

2007-05-08 16:16:56 +00:00

..

patch-configure

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-dsh_dsh_1

…

patch-dsh_dsh_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-dsh_rseq_1

…

patch-dsh_rseq_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-dsh_run_1

…

patch-dsh_run_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-jsd_jsd_1

…

patch-jsd_jsd_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-jsd_jsh_1

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-jsd_jsh_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-Makefile_in

…

patch-pcp_pcp_1

…

patch-pcp_pcp_c

prefer awk instead of gawk if gawk is installed.

2007-05-08 16:16:56 +00:00

patch-rvt_rvt_c

…

patch-tools_pdf_1

…

patch-tools_prm_1

…