2019-06-11 15:57:14 +02:00
|
|
|
#include "kernel/types.h"
|
|
|
|
#include "kernel/stat.h"
|
|
|
|
#include "user/user.h"
|
2007-08-08 10:50:23 +02:00
|
|
|
|
|
|
|
int
|
|
|
|
main(int argc, char **argv)
|
|
|
|
{
|
|
|
|
int i;
|
2009-05-31 02:39:17 +02:00
|
|
|
|
2024-06-15 16:55:06 +02:00
|
|
|
if(argc < 2) {
|
2019-08-27 19:13:03 +02:00
|
|
|
fprintf(2, "usage: kill pid...\n");
|
2019-09-11 16:04:40 +02:00
|
|
|
exit(1);
|
2007-08-08 10:50:23 +02:00
|
|
|
}
|
2024-06-15 16:55:06 +02:00
|
|
|
for(i = 1; i < argc; i++)
|
2007-08-08 10:50:23 +02:00
|
|
|
kill(atoi(argv[i]));
|
2019-09-10 18:30:10 +02:00
|
|
|
exit(0);
|
2007-08-08 10:50:23 +02:00
|
|
|
}
|