diff --git a/builder/main.py b/builder/main.py index 8bcabfd..8c7eb41 100644 --- a/builder/main.py +++ b/builder/main.py @@ -101,7 +101,7 @@ def _rpi_sysgpio(path, value): RANLIB="avr-gcc-ranlib", SIZETOOL="avr-size", ARFLAGS=["rc"], - SIZEPROGREGEXP=r"^(?:\.text|\.data|\.bootloader)\s+(\d+).*", + SIZEPROGREGEXP=r"^(?:\.text|\.data|.fin\d|\.bootloader)\s+(\d+).*", SIZEDATAREGEXP=r"^(?:\.data|\.bss|\.noinit)\s+(\d+).*", SIZECHECKCMD="$SIZETOOL -A -d $SOURCES", SIZEPRINTCMD="$SIZETOOL --mcu=$BOARD_MCU -C -d $SOURCES",