diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 21:41:01 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 21:41:01 -0500 |
commit | fcd25d8438c7e26125102e49887450ea79c08481 (patch) | |
tree | de9a24b46ca3947c87e30177965f668dc391db2a | |
parent | f7dbd32b375a6bf85b5ec29b61aadefb57f6f40e (diff) | |
download | dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.zip dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.tar.gz dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.tar.bz2 |
Fix error message in auxiliary launcher
-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 |