Merge remote-tracking branch 'origin/main'

This commit is contained in:
Hosted Weblate 2023-08-03 18:12:46 +02:00
commit 52aa86c80c
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C
2 changed files with 31 additions and 31 deletions

View File

@ -177,7 +177,7 @@ def get_settings_from_makefile(port_dir, board_name):
in this script, something that has proved error-prone
"""
contents = subprocess.run(
["make", "-C", port_dir, "-f", "Makefile", f"BOARD={board_name}", "print-CFLAGS", "print-CIRCUITPY_BUILD_EXTENSIONS", "print-FROZEN_MPY_DIRS"],
["make", "-C", port_dir, "-f", "Makefile", f"BOARD={board_name}", "print-CFLAGS", "print-CIRCUITPY_BUILD_EXTENSIONS", "print-FROZEN_MPY_DIRS", "print-SRC_PATTERNS"],
encoding="utf-8",
errors="replace",
stdout=subprocess.PIPE,