| 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.
--helpdejagnu itself.-V,
--version-v,
--verbosedejagnu launcher itself. This option is also
passed on to the invoked command.All arguments after the command name are passed to the invoked command.
DEJAGNULIBSDEJAGNULIBS is set.AWKPATH 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.GAWKPATH will
be searched for a gawk program.BASHPATH will
be searched for a bash program. Note that Bash
itself sets this variable, even when run as sh,
even when running a script.EXPECTPATH will be
searched for an expect program. Note that the
DejaGnu core is written in Expect, so this interpreter should always be
available.TCLSHPATH 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 |