The configure script in /usr/src/tools/host-mkdep looks for mawk and if it does not find it, it defaults to gawk. I think it is fine for the host tool to use gawk, but the mkdep script should be fixed to not cause warnings. christos