1 files changed, 0 insertions, 21 deletions

diff --git a/pintos-progos/examples/rm.c b/pintos-progos/examples/rm.c
deleted file mode 100644
index 0db7f7b..0000000
--- a/pintos-progos/examples/rm.c
+++ /dev/null
@@ -1,21 +0,0 @@
-/* rm.c
-
-   Removes files specified on command line. */
-
-#include <stdio.h>
-#include <syscall.h>
-
-int
-main (int argc, char *argv[]) 
-{
-  bool success = true;
-  int i;
-  
-  for (i = 1; i < argc; i++)
-    if (!remove (argv[i])) 
-      {
-        printf ("%s: remove failed\n", argv[i]);
-        success = false; 
-      }
-  return success ? EXIT_SUCCESS : EXIT_FAILURE;
-}