diff options
author | Cornelia Huck <cornelia.huck@de.ibm.com> | 2017-05-18 13:47:27 +0200 |
---|---|---|
committer | Cornelia Huck <cornelia.huck@de.ibm.com> | 2017-05-19 12:29:01 +0200 |
commit | 74c98e20a604b9db58284b8727688df70e9bf643 (patch) | |
tree | 76ffd85c3c521dcdfd352382c95bbabf6e5a6574 /scripts | |
parent | f881bbdf72178166e88fdd8cc8b40e1812efb53c (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')
-rwxr-xr-x | scripts/update-linux-headers.sh | 2 |
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 |