Add option for testing dejagnu auxiliary launcher with specified shell
2 files changed