Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
incompatible_disable_legacy_crosstool_fields: Disable legacy crosstool fields #6861
CROSSTOOL grew much bigger than it was expected in 2011 when it was first introduced. There are many fields that are no longer used (e.g.
This is a big incompatible change, and #5380 will be comparably big one. We advice users to use the migration tool provided for
Please use the
Detailed change description
This list contains all the legacy fields and how they will be migrated: