Replace non-portable Awk code in dejagnu auxiliary launcher
commit9673505b54f1f2017f4dae7a2b972503e687f04c
authorJacob Bachmeyer <jcb@gnu.org>
Wed, 19 May 2021 05:19:20 +0000 (19 00:19 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Wed, 19 May 2021 05:19:20 +0000 (19 00:19 -0500)
treef38599d620fe03f2bb719fed453cf91d921a0d0c
parent0bab163959ff64d788bbdbd1c8719c44c9d4c95a
Replace non-portable Awk code in dejagnu auxiliary launcher
ChangeLog
dejagnu