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