diff options
Diffstat (limited to 'c/kill.c')
| -rw-r--r-- | c/kill.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/c/kill.c b/c/kill.c deleted file mode 100644 index e524627..0000000 --- a/c/kill.c +++ /dev/null @@ -1,10 +0,0 @@ -#include "gbos.h" -/* kill <pid>: terminate a process (pid 1 is immortal). */ -void main(void) { - char *argv[4]; - unsigned char argc = argv_parse(argv, 4); - unsigned char pid; - if (argc < 1) { puts("usage: kill <pid>"); nl(); return; } - pid = atou(argv[0]); - if (kill(pid)) { puts("kill: no such pid (or immortal)"); nl(); } -} |
