DEJAGNU(1) | General Commands Manual (urm) | DEJAGNU(1) |
dejagnu
— DejaGnu
auxiliary command launcher
dejagnu |
⟨command⟩
[--help | options...] |
dejagnu |
--help |
dejagnu |
--version |
The dejagnu
command finds a script that
implements the requested command, selects from
multiple implementations if available according to a fixed internal list,
and executes the command.
--help
dejagnu
itself.-V
,
--version
-v
,
--verbose
dejagnu
launcher itself. This option is also
passed on to the invoked command.All arguments after the command name are passed to the invoked command.
DEJAGNULIBS
DEJAGNULIBS
is set.AWK
PATH
will be searched for an
awk
program. If the Awk interpreter is actually
GNU Awk, the --posix
option will be given if an
Awk implementation is used.GAWK
PATH
will
be searched for a gawk
program.BASH
PATH
will
be searched for a bash
program. Note that Bash
itself sets this variable, even when run as sh
,
even when running a script.EXPECT
PATH
will be
searched for an expect
program. Note that the
DejaGnu core is written in Expect, so this interpreter should always be
available.TCLSH
PATH
will be searched for a
tclsh
program.Note that GNU Awk is considered a superset of Awk and that Expect
is considered a superset of Tcl, allowing the former to be used to run
scripts written for the latter. This means that, while Awk programs will
generally be run with GNU extensions disabled using the
--posix
option to GNU Awk, Tcl programs may be run
with either tclsh
or expect
and should be written accordingly.
DEJAGNULIBS
is set, all command scripts are
expected to be in this directory.Otherwise, the first directory that actually exists in the
following list is used, where @bindir@ represents
the directory containing dejagnu
itself.
The full documentation for DejaGnu is maintained as a Texinfo
manual. If the info
program is properly installed at
your site, the command info dejagnu
should give you
access to the complete manual.
Jacob Bachmeyer
The command name must precede all other arguments due to limitations of the shell.
December 17, 2018 | GNU |