Re: PATCH: add dejagnu(1) multi-launcher

Ben Elliston wrote:
> On Wed, Dec 19, 2018 at 06:05:23PM -0600, Jacob Bachmeyer wrote:
>   
>> This problem will go away when the first actual command is added,
>> since then commands/ will always exist in the source tree and
>> @datadir@/dejagnu/commands/ will be created during installation.
>>     
> Can we start, then, adding a trivial subcommand to this patch so that
> the testsuite passes? I was thinking that you could add "dejagnu
> version" that just runs runtest --version.
>   

That would be redundant with the existing "--version" option that greps 
the version out of runtest.exp.

>> Would rolling that into the patch be a preferred option?
>>     
> Yes, thanks.
>   

Revised patch (with "help" subcommand) to be sent very soon.

-- Jacob