From 5753553213df8f9de851adb68377db43faecb91f Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Tue, 11 Jun 2019 09:57:14 -0400
Subject: separate source into kernel/ user/ mkfs/

---
 kill.c | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 kill.c

(limited to 'kill.c')

diff --git a/kill.c b/kill.c
deleted file mode 100644
index 364f6af..0000000
--- a/kill.c
+++ /dev/null
@@ -1,17 +0,0 @@
-#include "types.h"
-#include "stat.h"
-#include "user.h"
-
-int
-main(int argc, char **argv)
-{
-  int i;
-
-  if(argc < 2){
-    printf(2, "usage: kill pid...\n");
-    exit();
-  }
-  for(i=1; i<argc; i++)
-    kill(atoi(argv[i]));
-  exit();
-}
-- 
cgit v1.2.3