12c3632d1SSimon J. Gerraty> cmd-interrupt-ordinary 22c3632d1SSimon J. Gerratymake: *** cmd-interrupt-ordinary removed 32c3632d1SSimon J. Gerratyinterrupt-ordinary: ok 42c3632d1SSimon J. Gerraty> cmd-interrupt-phony 52c3632d1SSimon J. Gerratyinterrupt-phony: ok 62c3632d1SSimon J. Gerraty> cmd-interrupt-precious 72c3632d1SSimon J. Gerratyinterrupt-precious: ok 8*6a7405f5SSimon J. Gerratyinterrupt-compat expected-fail 92c3632d1SSimon J. Gerratyexit status 0 10