make: improve make pr (#10165)

This commit is contained in:
Antoine GIRARD 2020-02-06 22:40:27 +01:00 committed by GitHub
parent 08c9160e71
commit 730f026c6e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -563,9 +563,9 @@ generate-images:
rm -rf $(TMPDIR)/images rm -rf $(TMPDIR)/images
$(foreach file, $(shell find public/img -type f -name '*.png' ! -name 'loading.png'),zopflipng -m -y $(file) $(file);) $(foreach file, $(shell find public/img -type f -name '*.png' ! -name 'loading.png'),zopflipng -m -y $(file) $(file);)
.PHONY: pr .PHONY: pr\#%
pr: pr\#%:
$(GO) run contrib/pr/checkout.go $(PR) $(GO) run contrib/pr/checkout.go $*
.PHONY: golangci-lint .PHONY: golangci-lint
golangci-lint: golangci-lint: