DEJAGNU(1) General Commands Manual (urm) DEJAGNU(1) (NAME) dejagnu - DejaGnu (SYNOPSIS) dejagnu [--help | options...] dejagnu --help dejagnu --version (DESCRIPTION) dejagnu command . (OPTIONS) --help . dejagnu . -V, --version DejaGnu. . -v, --verbose dejagnu . . . (ENVIRONMENT) DEJAGNULIBS DejaGnu . DEJAGNULIBS FILES . AWK Awk GNU Awk . PATH awk . Awk GNU Awk Awk --posix . GAWK GNU Awk. PATH gawk . BASH GNU Bash. PATH bash . Bash sh . EXPECT Expect Tcl Expect . PATH expect . DejaGnu Expect . TCLSH Tcl. PATH tclsh . GNU Awk Awk Expect Tcl . Awk GNU --posix GNU Awk Tcl tclsh expect . (FILES) $DEJAGNULIBS/commands DEJAGNULIBS . @bindir@ dejagnu . @bindir@/../share/dejagnu/commands @bindir@/../../share/dejagnu/commands /usr/share/dejagnu/commands /usr/local/share/dejagnu/commands (SEE ALSO) DejaGnu Texinfo . info info dejagnu . (AUTHORS) Jacob Bachmeyer (BUGS) . GNU December 17, 2018 GNU