diff --git a/.gitlab-ci/run_testcases.sh b/.gitlab-ci/run_testcases.sh
index 592425935..8fb24da27 100755
--- a/.gitlab-ci/run_testcases.sh
+++ b/.gitlab-ci/run_testcases.sh
@@ -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?"