Use local "*.h" instead of installed <*.h>
authorKevin Klues <klueska@cs.berkeley.edu>
Sat, 6 Jun 2015 00:30:22 +0000 (17:30 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 12 Jun 2015 16:03:18 +0000 (12:03 -0400)
This is necessary in case the API or something has changed between the
installed version and the one currenlty being built.

user/pthread/pthread.c

index 90b4c12..1787d95 100644 (file)
@@ -2,7 +2,7 @@
 #define _GNU_SOURCE
 
 #include <ros/trapframe.h>
-#include <pthread.h>
+#include "pthread.h"
 #include <vcore.h>
 #include <mcs.h>
 #include <stdlib.h>