aboutsummaryrefslogtreecommitdiff
path: root/dejagnu
AgeCommit message (Expand)AuthorFilesLines
2021-05-22Fix error message in auxiliary launcherJacob Bachmeyer1-1/+1
2021-05-20Search for POSIX Awk in dejagnu auxiliary launcherJacob Bachmeyer1-4/+25
2021-05-19Replace non-portable Awk code in dejagnu auxiliary launcherJacob Bachmeyer1-13/+15
2021-05-18Avoid hang on Solaris 10 in dejagnu auxiliary launcherJacob Bachmeyer1-1/+1
2021-04-16Revise help system in dejagnu launcher to use AwkJacob Bachmeyer1-12/+6
2021-04-16Replace non-portable `grep -q` with shell "case" in dejagnu launcherJacob Bachmeyer1-5/+4
2021-04-16Replace non-portable `basename | sed` with Awk in dejagnu launcherJacob Bachmeyer1-1/+14
2021-04-15Avoid dependency on exit code from false(1) in dejagnu auxiliary launcherJacob Bachmeyer1-7/+7
2021-04-14Use shell "case" for pattern matching in dejagnu auxiliary launcherJacob Bachmeyer1-6/+2
2021-04-01Rework declaration of "Variants" list in dejagnu launcherJacob Bachmeyer1-1/+2
2021-04-01Revise usage messages to better fit GNU conventionsJacob Bachmeyer1-1/+1
2021-03-25Use older shell constructs to fix PR47382Jacob Bachmeyer1-13/+26
2018-12-29 * dejagnu: Avoid use of semicolon as sed(1) command separator.Jacob Bachmeyer1-1/+1
2018-12-21 PR 33817Jacob Bachmeyer1-5/+9
2018-12-20 * Makefile.am (EXTRA_DIST): Add "dejagnu" launcher script andJacob Bachmeyer1-0/+453