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