#! /usr/bin/make -f

linux-libre linux-libre-headers: linux-libre.buildstamp

.SILENT: linux-libre.buildstamp
linux-libre.buildstamp:
	oh-installfiles linux-libre linux-libre-headers
	oh-gencontrol linux-libre linux-libre-headers
	oh-buildopk linux-libre linux-libre-headers
	touch linux-libre.buildstamp