Replace non-portable Awk code in dejagnu auxiliary launcher
[dejagnu.git] / testsuite / 
tree61b49a530d3136e9f0a76536c14e0ad2f715850e
drwxr-xr-x   ..
drwxr-xr-x - launcher.all
drwxr-xr-x - lib
drwxr-xr-x - libdejagnu
drwxr-xr-x - report-card.all
drwxr-xr-x - runtest.libs
drwxr-xr-x - runtest.main