Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ports: Only do build check for configure, build, and install steps
This was breaking ports linting, which runs the script with the 'showproperty' option. This check is not needed for some other options as well, so let's do it conditionally.
- Loading branch information