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)
commit10f24bd551f1eda3430cea0c3ba723a7481f5bdb
treeef2788449e6a34d6b4d1006ac8a15ec7f9c68f3c
parent29d076658b927578d4d5c215ed4afa62efe2c02c
Use local "*.h" instead of installed <*.h>

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