Skip to content

Restore intended behavior of markUsedLocalSymbols when both --gc-sections and -r are specified.#132

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:used-symbols
Apr 25, 2025
Merged

Restore intended behavior of markUsedLocalSymbols when both --gc-sections and -r are specified.#132
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:used-symbols

Commits

Commits on Apr 25, 2025