Re: interrupting Ada tests

2018-07-05 Thread Rainer Orth
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

Re: interrupting Ada tests

2018-07-05 Thread Simon Wright
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

Re: interrupting Ada tests

2018-07-05 Thread Richard Biener
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

interrupting Ada tests

2018-07-05 Thread Martin Sebor
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 Ctrl-C have the expected effect on the Ada test suite as well o