diff --git a/generator/Makefile b/generator/Makefile index 5a144505..4ac00ca2 100644 --- a/generator/Makefile +++ b/generator/Makefile @@ -14,7 +14,7 @@ MIBDIR := mibs MIB_PATH := 'mibs' -CURL_OPTS ?= -L --no-progress-meter --retry 3 --retry-delay 3 --fail +CURL_OPTS ?= -L -sS --retry 3 --retry-delay 3 --fail REPO_TAG ?= $(shell git rev-parse --abbrev-ref HEAD)