| Index: src/scripts/autotest_lib.sh
|
| diff --git a/src/scripts/autotest_lib.sh b/src/scripts/autotest_lib.sh
|
| index 9b95d2433a01a18d0c6421ac7b3a69ff3973b31c..311bad46fedeb8e97398689fef1d41427b913892 100644
|
| --- a/src/scripts/autotest_lib.sh
|
| +++ b/src/scripts/autotest_lib.sh
|
| @@ -15,13 +15,14 @@ function check_board() {
|
| local board_names=""
|
| local index=1
|
| local found=0
|
| + local board_basename=$(echo "${FLAGS_board}" |cut -d '_' -f 1)
|
| for overlay_path in "${SRC_ROOT}"/overlays/overlay-*
|
| do
|
| local overlay=$(basename "${overlay_path}")
|
| local board="${overlay#overlay-}"
|
| board_names[index]="${board}"
|
| index+=1
|
| - if [ "${FLAGS_board}" == "${board}" ]
|
| + if [ "${board_basename}" == "${board}" ]
|
| then
|
| found=1
|
| fi
|
|
|