diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-15 23:36:45 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-15 23:36:45 -0500 |
commit | 9539a1e2ffe8506b92bfcb4363c767e4bc6a0700 (patch) | |
tree | cfc9e290ee5b34f19c54bf4c2ad5c5aa1008ebb5 /dejagnu | |
parent | c95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03 (diff) |
Avoid dependency on exit code from false(1) in dejagnu auxiliary launcher
Diffstat (limited to 'dejagnu')
-rwxr-xr-x | dejagnu | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -426,13 +426,13 @@ fi if test -z "$command" ; then if test -n "$override_ext" ; then case $selected_ext in - awk) $have_awk; exit $? ;; - bash) $have_bash; exit $? ;; - exp) $have_expect; exit $? ;; - gawk) $have_gawk; exit $? ;; - tcl) $have_tcl; exit $? ;; - sh) $have_sh; exit $? ;; - *) exit 2 ;; + awk) if $have_awk; then exit 0; else exit 1; fi ;; + bash) if $have_bash; then exit 0; else exit 1; fi ;; + exp) if $have_expect; then exit 0; else exit 1; fi ;; + gawk) if $have_gawk; then exit 0; else exit 1; fi ;; + tcl) if $have_tcl; then exit 0; else exit 1; fi ;; + sh) if $have_sh; then exit 0; else exit 1; fi ;; + *) exit 2 ;; esac else echo ERROR: no command given |