Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build.make: skip shellcheck if Docker is not available
Not all environments have Docker. The simplifying assumption here is that if the Docker command is available, it's also usable.
- Loading branch information