aboutsummaryrefslogtreecommitdiff
path: root/scripts/update-linux-headers.sh
diff options
context:
space:
mode:
authorCornelia Huck <cornelia.huck@de.ibm.com>2017-05-18 13:47:27 +0200
committerCornelia Huck <cornelia.huck@de.ibm.com>2017-05-19 12:29:01 +0200
commit74c98e20a604b9db58284b8727688df70e9bf643 (patch)
tree76ffd85c3c521dcdfd352382c95bbabf6e5a6574 /scripts/update-linux-headers.sh
parentf881bbdf72178166e88fdd8cc8b40e1812efb53c (diff)
linux-headers: update
Update against Linux v4.12-rc1. Also include the new vfio_ccw.h header. Signed-off-by: Cornelia Huck <cornelia.huck@de.ibm.com>
Diffstat (limited to 'scripts/update-linux-headers.sh')
-rwxr-xr-xscripts/update-linux-headers.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh
index 6a370a8669..2f906c4d16 100755
--- a/scripts/update-linux-headers.sh
+++ b/scripts/update-linux-headers.sh
@@ -113,7 +113,7 @@ done
rm -rf "$output/linux-headers/linux"
mkdir -p "$output/linux-headers/linux"
-for header in kvm.h kvm_para.h vfio.h vhost.h \
+for header in kvm.h kvm_para.h vfio.h vfio_ccw.h vhost.h \
psci.h userfaultfd.h; do
cp "$tmpdir/include/linux/$header" "$output/linux-headers/linux"
done