diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2015-09-09 14:50:17 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-09-16 17:33:32 +0200 |
commit | 120758fba4c52d1ccf3a8ae1fe3b7495f2b584d8 (patch) | |
tree | 261ad17b6b247ee7b16331a43530af89121394bc /scripts/update-linux-headers.sh | |
parent | 84090bbce91a386ae6e5f61b26f36783196712d2 (diff) |
update Linux headers to 4.3-rc1
The update to 4.2 was reviewed by Michael S. Tsirkin and Cornelia
Huck. The further update to 4.3-rc1 only touches KVM files.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/update-linux-headers.sh')
-rwxr-xr-x | scripts/update-linux-headers.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh index f0e830c2d6..7f7b592e8b 100755 --- a/scripts/update-linux-headers.sh +++ b/scripts/update-linux-headers.sh @@ -39,6 +39,7 @@ cp_virtio() { if grep '#include' "$f" | grep -v -e 'linux/virtio' \ -e 'linux/types' \ + -e 'stdint' \ -e 'linux/if_ether' \ -e 'sys/' \ > /dev/null |