1> cmd-interrupt-ordinary 2make: *** cmd-interrupt-ordinary removed 3interrupt-ordinary: ok 4> cmd-interrupt-phony 5make: *** cmd-interrupt-phony removed 6interrupt-phony: ok 7> cmd-interrupt-precious 8interrupt-precious: ok 9exit status 0 10