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 /commands | |
| 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 'commands')
| -rw-r--r-- | commands/help.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/commands/help.sh b/commands/help.sh index 1070ece..b811780 100644 --- a/commands/help.sh +++ b/commands/help.sh @@ -40,6 +40,13 @@ # This script was written by Jacob Bachmeyer. +# For testing and development +in_test_mode=false +if test x"$1" = x--DGTest ; then + in_test_mode=true + shift +fi + args= command=dejagnu verbose=0 @@ -84,7 +91,11 @@ if expr "$verbose" \> 0 > /dev/null ; then echo Forwarding to man $args "\"$command\"" fi -#shellcheck disable=SC2086 -exec man $args "$command" +if $in_test_mode ; then + echo man "$args $command" +else + #shellcheck disable=SC2086 + exec man $args "$command" +fi #EOF |