#! /usr/bin/make -f linux-libre linux-libre-headers: linux-libre.buildstamp .SILENT: linux-libre.buildstamp linux-libre.buildstamp: cd src && make oldconfig && make oh-installfiles linux-libre linux-libre-headers oh-installdocs linux-libre linux-libre-headers oh-gencontrol linux-libre linux-libre-headers oh-buildopk linux-libre linux-libre-headers touch linux-libre.buildstamp