device/device-raspberry-pi: fix boot error caused by missing dtb file (!870)

The upstream linux-rpi package has been modified: the dtb files
are now located in /boot/dtbs.
This commit is contained in:
Pops Dylan 2020-01-11 20:51:00 -08:00 committed by Alexey Min
parent c203ee697d
commit 7e3ee23622
No known key found for this signature in database
GPG key ID: 0B19D2A65870B448
2 changed files with 2 additions and 3 deletions

View file

@ -2,7 +2,7 @@
pkgname="device-raspberry-pi"
pkgdesc="Raspberry Pi"
pkgver=0.1
pkgrel=6
pkgrel=7
url="https://postmarketos.org"
license="MIT"
arch="armhf"

View file

@ -1,5 +1,4 @@
#!/bin/sh
kernver=$(cat /usr/share/kernel/rpi/kernel.release)
cd /usr/lib/linux-${kernver}/
cd /boot/dtbs-rpi
find . -type f -regex ".*\.dtbo\?$" -exec install -Dm644 {} /boot/{} \;