Replace non-portable `basename | sed` with Awk in dejagnu launcher

1 files changed, 7 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index cb7d0ef..77f89ab 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2021-04-16  Jacob Bachmeyer  <jcb@gnu.org>
+
+	PR47382
+
+	* dejagnu (command): Use Awk instead of non-portable basename(1)
+	and a non-portable sed(1) pattern to initially set this variable.
+
 2021-04-15  Jacob Bachmeyer  <jcb@gnu.org>
 
 	PR47382