aboutsummaryrefslogtreecommitdiff
path: root/dejagnu
diff options
context:
space:
mode:
authorJacob Bachmeyer <jcb@gnu.org>2021-04-15 23:36:45 -0500
committerJacob Bachmeyer <jcb@gnu.org>2021-04-15 23:36:45 -0500
commit9539a1e2ffe8506b92bfcb4363c767e4bc6a0700 (patch)
treecfc9e290ee5b34f19c54bf4c2ad5c5aa1008ebb5 /dejagnu
parentc95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03 (diff)
Avoid dependency on exit code from false(1) in dejagnu auxiliary launcher
Diffstat (limited to 'dejagnu')
-rwxr-xr-xdejagnu14
1 files changed, 7 insertions, 7 deletions
diff --git a/dejagnu b/dejagnu
index 9f6ae4b..ece4e09 100755
--- a/dejagnu
+++ b/dejagnu
@@ -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