initial pintos checkin

1 files changed, 21 insertions, 0 deletions

diff --git a/pintos-progos/examples/rm.c b/pintos-progos/examples/rm.c
new file mode 100644
index 0000000..0db7f7b
--- /dev/null
+++ b/pintos-progos/examples/rm.c
@@ -0,0 +1,21 @@
+/* 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;
+}