Re: CVS commit: src/usr.bin/kdump

Thu, 02 Apr 2020 14:33:05 -0700 

On 02.04.2020 19:40, Christos Zoulas wrote:
> +set -x
> +AWK=gawk
> +

gawk?

Reply via email to