christos 4649e9761b Only define the extra flags for kern_timeout.c

2015-02-09 17:48:07 +00:00

..

arch

…

crash.8

…

crash.c

…

extern.h

…

Makefile

Only define the extra flags for kern_timeout.c

2015-02-09 17:48:07 +00:00

unsupported.c

…