|
|
@ -20,7 +20,7 @@ else
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# install headers if necessary
|
|
|
|
# install headers if necessary
|
|
|
|
if [ "$SKIP_COMPILE" != "true" ]; then
|
|
|
|
if [ "$SKIP_COMPILE" != "true" ] && [ ! -e /lib/modules/$(uname -r)/build ]; then
|
|
|
|
echo "**** Attempting kernel header install ****"
|
|
|
|
echo "**** Attempting kernel header install ****"
|
|
|
|
apt-get update
|
|
|
|
apt-get update
|
|
|
|
if apt-cache show linux-headers-$(uname -r) 2&>1 >/dev/null; then
|
|
|
|
if apt-cache show linux-headers-$(uname -r) 2&>1 >/dev/null; then
|
|
|
|