1 2 3 4 5 6 7 8 9 10 11 12 13 14
# config for w32api-headers menuconfig W32API bool select CROSS_GCC_FIRST prompt "w32api " config W32API_VERSION depends on W32API string prompt "w32api version" default "3.12" help Specify the w32api version here.