## SECTION=hosttools_noprompt

config HOST_FAKE_MAKEINFO
	bool