run_testcases.sh: adjust to new device structure (!1066)

Fix error:
ERROR: Could not find deviceinfo file for selected device
This commit is contained in:
Oliver Smith 2020-03-14 09:12:57 +01:00
parent 6c1dfc1557
commit 7c5f01d892
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -22,8 +22,8 @@ pmbootstrap -q shutdown
# Make sure we have a valid device (pmbootstrap#1128)
device="$(pmbootstrap config device)"
deviceinfo="$pmaports/device/device-$device/deviceinfo"
if ! [ -e "$deviceinfo" ]; then
deviceinfo="$pmaports/device/*/device-$device/deviceinfo"
if ! [ -e $deviceinfo ]; then
echo "ERROR: Could not find deviceinfo file for selected device '$device'."
echo "Expected path: $deviceinfo"
echo "Maybe you have switched to a branch where your device does not exist?"