Replace non-portable Awk code in dejagnu auxiliary launcher
[dejagnu.git] / config / 
treef246b5280c6e40711013a6ddc4ccdbf4be566c50
drwxr-xr-x   ..
-rw-r--r-- 1262 README
-rw-r--r-- 1736 aarch64-fv8.exp
-rw-r--r-- 5176 adb.exp
-rw-r--r-- 1162 default.exp
-rw-r--r-- 15766 gdb-comm.exp
-rw-r--r-- 15307 gdb_stub.exp
-rw-r--r-- 2634 sid.exp
-rw-r--r-- 3983 sim.exp
-rw-r--r-- 4748 unix.exp
-rw-r--r-- 12445 vxworks.exp