File tree Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -145,6 +145,8 @@ jobs:
145145 board_name=${board_name%_noota}
146146 # Remove 'wippersnapper_' prefix if present
147147 board_name=${board_name#wippersnapper_}
148+ # Remove 'espressif_' prefix if present
149+ board_name=${board_name#espressif_}
148150 content=$(cat ws-boards/boards/${board_name//_/-}/definition.json)
149151 {
150152 echo 'boardJson<<EOF'
@@ -485,6 +487,8 @@ jobs:
485487 board_name=${board_name%_noota}
486488 # Remove 'wippersnapper_' prefix if present
487489 board_name=${board_name#wippersnapper_}
490+ # Remove 'espressif_' prefix if present
491+ board_name=${board_name#espressif_}
488492 content=$(cat ws-boards/boards/${board_name//_/-}/definition.json)
489493 {
490494 echo 'boardJson<<EOF'
@@ -1024,6 +1028,8 @@ jobs:
10241028 board_name=${board_name%_debug}
10251029 # Remove 'wippersnapper_' prefix if present
10261030 board_name=${board_name#wippersnapper_}
1031+ # Remove 'espressif_' prefix if present
1032+ board_name=${board_name#espressif_}
10271033 content=$(cat ws-boards/boards/${board_name//_/-}/definition.json)
10281034 {
10291035 echo 'boardJson<<EOF'
You can’t perform that action at this time.
0 commit comments