commit | 66e387dab578486a7e08627f8ae3289e8b203e37 | [log] [tgz] |
---|---|---|
author | Jacob Bachmeyer <jcb@gnu.org> | Mon Sep 16 20:38:04 2024 -0500 |
committer | Jacob Bachmeyer <jcb@gnu.org> | Wed Sep 18 20:31:41 2024 -0500 |
tree | fb9e75633db1e66a330f068428391bcf383fe0dd | |
parent | 53423f965ba0e4e7973481e65debf8c9add6a59f [diff] |
Add option for testing dejagnu auxiliary launcher with specified shell