Include options.h.
authortwisti <none@none>
Wed, 30 Jun 2004 20:56:22 +0000 (20:56 +0000)
committertwisti <none@none>
Wed, 30 Jun 2004 20:56:22 +0000 (20:56 +0000)
commit6a877b9aeddbf89497b181113a43e830b2a2650d
tree2377312245230996694cb92658df8f9b5672b3fe
parentd3338d112485af2e62d61c9feb8715a2f9063665
Include options.h.
src/threads/green/threads.c
threads/thread.c