diff options
| author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-12-20 21:24:35 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-20 21:24:35 +1100 |
| commit | 2f6e46b9820647476ddd568e14d76661abb4f493 (patch) | |
| tree | 39dbd80189617ad46ecabcbc2fee82a59d3e529d /config | |
| parent | 80d14caf5d1b26233bb25431243fdfe38cd3f92a (diff) | |
| download | dejagnu-2f6e46b9820647476ddd568e14d76661abb4f493.zip dejagnu-2f6e46b9820647476ddd568e14d76661abb4f493.tar.gz dejagnu-2f6e46b9820647476ddd568e14d76661abb4f493.tar.bz2 | |
* Makefile.am (EXTRA_DIST): Add "dejagnu" launcher script and
contents of $(commands_DATA).
(bin_SCRIPTS): Add "dejagnu" launcher script.
(commandsdir): Installation directory for "dejagnu" subcommands is
$(pkgdatadir)/commands.
(commands_DATA): New, contains "commands/help.sh" as initial item.
(TESTSUITE_FILES): Add testsuite for same.
(DEJATOOL): Add "launcher" to list of tools to test.
(dist_man_MANS): Add man pages for "dejagnu" and "dejagnu help".
* doc/dejagnu.texi (Running other DejaGnu commands): New chapter.
(Invoking dejagnu): New node for dejagnu(1) launcher script.
(Invoking dejagnu help): New node.
* doc/dejagnu.1: New man page.
* doc/dejagnu-help.1: New man page.
* dejagnu: New script.
* commands/help.sh: New dejagnu subcommand for reading manpages.
* testsuite/launcher.all/command.exp: New file.
* testsuite/launcher.all/command/commands/bar-baz.awk: New file.
* testsuite/launcher.all/command/commands/bar.awk: New file.
* testsuite/launcher.all/command/commands/bar.sh: New file.
* testsuite/launcher.all/command/commands/baz-quux.gawk: New file.
* testsuite/launcher.all/command/commands/foo.sh: New file.
* testsuite/launcher.all/command/commands/foo.tcl: New file.
* testsuite/launcher.all/help.exp: New file.
* testsuite/launcher.all/interp.exp: New file.
* testsuite/launcher.all/verbose.exp: New file.
* testsuite/lib/launcher.exp: New file.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions