## SECTION=hosttools_noprompt

config HOST_CLOOG
	select HOST_ISL
	bool