aboutsummaryrefslogtreecommitdiff
path: root/dejagnu
AgeCommit message (Expand)Author
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