aboutsummaryrefslogtreecommitdiff
path: root/dejagnu
AgeCommit message (Expand)Author
2021-05-22Fix error message in auxiliary launcherJacob Bachmeyer
2021-05-20Search for POSIX Awk in dejagnu auxiliary launcherJacob Bachmeyer
2021-05-19Replace non-portable Awk code in dejagnu auxiliary launcherJacob Bachmeyer
2021-05-18Avoid hang on Solaris 10 in dejagnu auxiliary launcherJacob Bachmeyer
2021-04-16Revise help system in dejagnu launcher to use AwkJacob Bachmeyer
2021-04-16Replace non-portable `grep -q` with shell "case" in dejagnu launcherJacob Bachmeyer
2021-04-16Replace non-portable `basename | sed` with Awk in dejagnu launcherJacob Bachmeyer
2021-04-15Avoid dependency on exit code from false(1) in dejagnu auxiliary launcherJacob Bachmeyer
2021-04-14Use shell "case" for pattern matching in dejagnu auxiliary launcherJacob Bachmeyer
2021-04-01Rework declaration of "Variants" list in dejagnu launcherJacob Bachmeyer
2021-04-01Revise usage messages to better fit GNU conventionsJacob Bachmeyer
2021-03-25Use older shell constructs to fix PR47382Jacob Bachmeyer
2018-12-29 * dejagnu: Avoid use of semicolon as sed(1) command separator.Jacob Bachmeyer
2018-12-21 PR 33817Jacob Bachmeyer
2018-12-20 * Makefile.am (EXTRA_DIST): Add "dejagnu" launcher script andJacob Bachmeyer
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 23:42:45 +0000