#!/bin/bash #Moet toch dep zijn, om problemen te voorkomen #DEP:linux_src CWD=`pwd` NAME=linux_headers VERSION=`uname -r` || exit 1 PKGTMP="/tmp/pkg" rm -r $PKGTMP &>/dev/null cd /usr/src/linux || exit 1 #We gebruiken vanaf nu de 'officiele' manier van kernel headers exporteren: make headers_install || exit 1 mkdir -p $PKGTMP/usr || exit 1 mv usr/include $PKGTMP/usr || exit 1 #################### maak er een nette package van cd $PKGTMP || exit 1 /sbin/makepkg -l y -c n $CWD/$NAME.pkg > /dev/null || exit 1 echo $VERSION > $CWD/$NAME.version && arch > $CWD/$NAME.arch cd .. rm -r $PKGTMP