16bbc783fSSimon J. Gerraty> cmd-interrupt-ordinary 26bbc783fSSimon J. Gerratymake: *** cmd-interrupt-ordinary removed 36bbc783fSSimon J. Gerratyinterrupt-ordinary: ok 46bbc783fSSimon J. Gerraty> cmd-interrupt-phony 56bbc783fSSimon J. Gerratyinterrupt-phony: ok 66bbc783fSSimon J. Gerraty> cmd-interrupt-precious 76bbc783fSSimon J. Gerratyinterrupt-precious: ok 85ad769f6SSimon J. Gerratyinterrupt-compat expected-fail 96bbc783fSSimon J. Gerratyexit status 0 10