blob: 91f4439e7bea92e61908cf44465f816316236fc5 (
plain) (
tree)
|
|
> cmd-interrupt-ordinary
make: *** cmd-interrupt-ordinary removed
interrupt-ordinary: ok
> cmd-interrupt-phony
make: *** cmd-interrupt-phony removed
interrupt-phony: ok
> cmd-interrupt-precious
interrupt-precious: ok
exit status 0
|