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