diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rwxr-xr-x | dejagnu | 2 |
2 files changed, 3 insertions, 1 deletions
@@ -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> @@ -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 |