diff options
Diffstat (limited to 'scripts/update-linux-headers.sh')
| -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 baf4220b84..47378d93d4 100755 --- a/scripts/update-linux-headers.sh +++ b/scripts/update-linux-headers.sh @@ -31,7 +31,7 @@ fi cp_virtio() { from=$1 to=$2 - virtio=$(find "$from" -name '*virtio*h' -o -name "input.h") + virtio=$(find "$from" -name '*virtio*h' -o -name "input.h" -o -name "pci_regs.h") if [ "$virtio" ]; then rm -rf "$to" mkdir -p "$to" |