From fcd25d8438c7e26125102e49887450ea79c08481 Mon Sep 17 00:00:00 2001
From: Jacob Bachmeyer <jcb@gnu.org>
Date: Sat, 22 May 2021 21:41:01 -0500
Subject: Fix error message in auxiliary launcher

---
 ChangeLog | 2 ++
 dejagnu   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index d9cf543..f29b6f3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2021-05-22  Jacob Bachmeyer  <jcb@gnu.org>
 
+	* dejagnu: Fix error message.
+
 	* config.guess: Import patched version; patches sent upstream.
 
 2021-05-20  Jacob Bachmeyer  <jcb@gnu.org>
diff --git a/dejagnu b/dejagnu
index b3948a8..8ddc59b 100755
--- a/dejagnu
+++ b/dejagnu
@@ -428,7 +428,7 @@ fi
 # Are we just looking for a usage message?
 if $want_help ; then
     if $have_awk; then : ; else
-	echo ERROR: extracting help message requires POSIX Awk; not found
+	echo ERROR: extracting help message requires POSIX Awk
 	exit 2
     fi
     if test -z "$command" ; then
-- 
cgit v1.1