diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 22:23:15 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 22:23:15 -0500 |
commit | cc6b01a96e5bcdb9ace4f0b47d7daff1ed50452c (patch) | |
tree | 3528bcacc8e6348366b1b0bdccd1d98086975390 /testsuite | |
parent | fcd25d8438c7e26125102e49887450ea79c08481 (diff) | |
download | dejagnu-cc6b01a96e5bcdb9ace4f0b47d7daff1ed50452c.zip dejagnu-cc6b01a96e5bcdb9ace4f0b47d7daff1ed50452c.tar.gz dejagnu-cc6b01a96e5bcdb9ace4f0b47d7daff1ed50452c.tar.bz2 |
Add test mode for "dejagnu help" command
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/launcher.all/help.exp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/testsuite/launcher.all/help.exp b/testsuite/launcher.all/help.exp index 8e128f2..3f989f8 100644 --- a/testsuite/launcher.all/help.exp +++ b/testsuite/launcher.all/help.exp @@ -21,10 +21,10 @@ # each element: { name args envars exit_code output_re... } set tests { { "dejagnu help selects dejagnu(1) manpage" - {help -v} {MANPAGER=echo PAGER=echo} 0 + {help --DGTest -v} {} 0 "Forwarding to man \".*doc/dejagnu\\.1\"" } { "dejagnu help help selects dejagnu-help(1) manpage" - {help -v help} {MANPAGER=echo PAGER=echo} 0 + {help --DGTest -v help} {} 0 "Forwarding to man \".*doc/dejagnu-help\\.1\"" } } @@ -32,10 +32,6 @@ if { ![file isdirectory [file join [file dirname $LAUNCHER] commands]] } { skip_dejagnu_launcher_tests \ "The 'commands' directory is not present in the source tree." \ unsupported $tests -} elseif { [istarget *-*-solaris*] } { - skip_dejagnu_launcher_tests \ - "The 'man' command in Solaris does not work in the source tree." \ - unsupported $tests } else { run_dejagnu_launcher_tests $LAUNCHER $tests } |