Improve search for POSIX awk in dejagnu auxiliary launcher
2 files changed