File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -199,9 +199,10 @@ jobs:
199
199
if [ -d "ws-boards/boards/${board_name//_/-}" ]; then
200
200
board_name=${board_name//_/-}
201
201
echo "Found alternative board definition folder ws-boards/boards/${board_name//_/-}."
202
- elif [ -d "ws-boards/boards/${board_name//_//}" ]; then
203
- board_name=${board_name//_//}
204
- echo "Found alternative board definition folder ws-boards/boards/${board_name//_//}."
202
+ # Remove all underscores if still not found
203
+ elif [ -d "ws-boards/boards/${board_name//_}" ]; then
204
+ board_name=${board_name//_}
205
+ echo "Found alternative board definition folder ws-boards/boards/${board_name//_}."
205
206
else
206
207
echo "Error: Board definition folder ws-boards/boards/${board_name} does not exist."
207
208
exit 1
You can’t perform that action at this time.
0 commit comments