cmd-interrupt.exp revision 1.1
11.1Srilligmake -r -k -f cmd-interrupt.mk cmd-interrupt-ordinary || true 21.1Srillig> cmd-interrupt-ordinary 31.1Srilligkill -INT $$ 41.1Srillig*** Signal 2 (continuing) 51.1Srillig 61.1SrilligStop. 71.1Srilligmake: stopped in unit-tests 81.1Srilligok 91.1Srilligmake -r -k -f cmd-interrupt.mk cmd-interrupt-phony || true 101.1Srillig> cmd-interrupt-phony 111.1Srilligkill -INT $$ 121.1Srillig*** Signal 2 (continuing) 131.1Srillig 141.1SrilligStop. 151.1Srilligmake: stopped in unit-tests 161.1Srilligok 171.1Srilligexit status 0 18