HomeIsabelle/Phabricator

Don't check for libgcc and libgcc_s. They will be included anyway if needed.

Description

Don't check for libgcc and libgcc_s. They will be included anyway if needed.

Details

Provenance
dcjmAuthored on May 10 2021, 3:31 PM
Parents
rPOLYML86dceaac467b: Rebuild configure after last change.
Branches
Unknown
Tags
Unknown