10 lines
231 B
Plaintext
10 lines
231 B
Plaintext
> 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
|