1e0924827Srsc #include "types.h" 2e0924827Srsc #include "stat.h" 3e0924827Srsc #include "user.h" 4e0924827Srsc 5e0924827Srsc int main(int argc,char ** argv)6e0924827Srscmain(int argc, char **argv) 7e0924827Srsc { 8e0924827Srsc int i; 9e0924827Srsc 10*c24ac5d7SFrans Kaashoek if(argc < 2){ 11e0924827Srsc printf(2, "usage: kill pid...\n"); 12e0924827Srsc exit(); 13e0924827Srsc } 14e0924827Srsc for(i=1; i<argc; i++) 15e0924827Srsc kill(atoi(argv[i])); 16e0924827Srsc exit(); 17e0924827Srsc } 18