fix build filter for esp32

This commit is contained in:
hathach 2024-11-11 21:40:03 +07:00
parent 3c564fd947
commit 65e741937a
No known key found for this signature in database
GPG Key ID: 26FAB84F615C3C52

View File

@ -40,7 +40,7 @@ def skip_example(example, board):
for line in mk_contents.splitlines():
match = re.search(r'set\(IDF_TARGET\s+"([^"]+)"\)', line)
if match:
mcu = match.group(1)
mcu = match.group(1).upper()
break
else:
for token in mk_contents.split():