Esben Haabendal 1c81b216c8 kernel/mingw32: use pre-set headers dir ...

There is a variable that contains the headers directory,
so there's no need to re-compute it again.

[Yann E. MORIN: split the original patch]

2010-08-14 23:14:27 +02:00

..

bare-metal.sh

Get rid of all stuff related to building a /delivery' traball:

2009-01-03 21:11:41 +00:00

linux.sh

kernel/linux: allow headers from full custom source tree

2010-06-17 18:30:09 +02:00

mingw32.sh

kernel/mingw32: use pre-set headers dir

2010-08-14 23:14:27 +02:00