From 907f23a5bbf17972becc5c84b4378c9ff4aa437a Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Mon, 26 Sep 2016 07:54:02 -0400
Subject: [PATCH] Add mikecat's argp test

---
 usertests.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/usertests.c b/usertests.c
index 93f656beb4..a1e97e72d4 100644
--- a/usertests.c
+++ b/usertests.c
@@ -1724,6 +1724,19 @@ uio()
   printf(1, "uio test done\n");
 }
 
+void argptest()
+{
+  int fd;
+  fd = open("init", O_RDONLY);
+  if (fd < 0) {
+    printf(2, "open failed\n");
+    exit();
+  }
+  read(fd, sbrk(0) - 1, -1);
+  close(fd);
+  printf(1, "arg test passed\n");
+}
+
 unsigned long randstate = 1;
 unsigned int
 rand()
@@ -1743,6 +1756,7 @@ main(int argc, char *argv[])
   }
   close(open("usertests.ran", O_CREATE));
 
+  argptest();
   createdelete();
   linkunlink();
   concreate();