Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The resulting .install will have been correct, because make would be invoked without `-j`, but better to ensure that only one .install file is generated.
- Loading branch information