config/debug.in
author Esben Haabendal <eha@doredevelopment.dk>
Sat Aug 14 23:14:27 2010 +0200 (2010-08-14)
changeset 2084 2bcd716ca877
parent 924 941294c6fcf1
permissions -rw-r--r--
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]
yann@924
     1
menu "Debug facilities"
yann@1870
     2
source "config.gen/debug.in"
yann@924
     3
endmenu