diff options
Diffstat (limited to 'Makefile.release')
| -rw-r--r-- | Makefile.release | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.release b/Makefile.release index b6432c7f7..4acafde92 100644 --- a/Makefile.release +++ b/Makefile.release @@ -18,7 +18,7 @@ # Steps to release, first: # # 1. Up the version in coremain/version.go -# 2. Do a make -f Makefile.doc +# 2. Do a make -f Makefile.doc # This has been automated in GitHub, so you can probably skip this step # 3. go generate # 4. Send PR to get this merged. # @@ -44,7 +44,7 @@ EMPTY:= SPACE:=$(EMPTY) $(EMPTY) COMMA:=$(EMPTY),$(EMPTY) -ifeq (, $(shell command -v curl)) +ifeq (, $(shell which curl)) $(error "No curl in $$PATH, please install") endif |