blob: 242db1d9507d4a2e53aeed8b7180ed536ab80063 (
plain)
1
2
3
4
5
6
7
8
|
> cmd-interrupt-ordinary
make: *** cmd-interrupt-ordinary removed
interrupt-ordinary: ok
> cmd-interrupt-phony
interrupt-phony: ok
> cmd-interrupt-precious
interrupt-precious: ok
exit status 0
|