Hi Simon,
> On 5 Jul 2018, at 20:08, Richard Biener wrote:
>>
>> On July 5, 2018 6:37:58 PM GMT+02:00, Martin Sebor wrote:
>>> Ada tests don't seem to respond to the INT signal: when
>>> I interrupt a parallel make check while the Ada tests are
>>> running, other test suites are interrupted as
On 5 Jul 2018, at 20:08, Richard Biener wrote:
>
> On July 5, 2018 6:37:58 PM GMT+02:00, Martin Sebor wrote:
>> Ada tests don't seem to respond to the INT signal: when
>> I interrupt a parallel make check while the Ada tests are
>> running, other test suites are interrupted as well and go
>> awa
On July 5, 2018 6:37:58 PM GMT+02:00, Martin Sebor wrote:
>Ada tests don't seem to respond to the INT signal: when
>I interrupt a parallel make check while the Ada tests are
>running, other test suites are interrupted as well and go
>away, but ada tests keep running. Is there some trick to
>have
