Use shell "case" for pattern matching in dejagnu auxiliary launcher
commitc95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03
authorJacob Bachmeyer <jcb@gnu.org>
Thu, 15 Apr 2021 02:13:11 +0000 (14 21:13 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Thu, 15 Apr 2021 02:13:11 +0000 (14 21:13 -0500)
treeee005ddd65dd62af28d2afd547ae9d24bb11aeae
parent353bbb6823ca81022b8fced3adf0b9cfb1f4faaf
Use shell "case" for pattern matching in dejagnu auxiliary launcher
ChangeLog
dejagnu