Exit early when make fails.
Description
Description
Details
Details
- Provenance
dgrell Authored on - Parents
- rRIVETHG926d1f0639d1: User flags moved to the end of command lines.
- Branches
- Unknown
- Tags
Exit early when make fails. Tags None Subscribers None |