MT#4605 Ignore rt-amd64 kernel headers when using dkms

12 years ago · 161de9a746
parent 02cc67d0d4
commit 161de9a746
1 changed files with 1 additions and 1 deletions
--- a/deployment.sh
+++ b/deployment.sh
@ -1788,7 +1788,7 @@ vagrant_configuration() {
  grml-chroot $TARGET apt-get -y install libc6-dev gcc
  fake_uname

-  KERNELHEADERS=$(basename $(ls -d ${TARGET}/usr/src/linux-headers*amd64 | sort -u | head -1))
+  KERNELHEADERS=$(basename $(ls -d ${TARGET}/usr/src/linux-headers*amd64 | grep -v -- -rt-amd64 | sort -u | head -1))
  if [ -z "$KERNELHEADERS" ] ; then
    die "Error: no kernel headers found for building the ngcp-mediaproxy-ng kernel module."
  fi