# 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.