Fix error message in auxiliary launcher

1 files changed, 1 insertions, 1 deletions

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