diff --git a/infer/src/Makefile b/infer/src/Makefile index 7027a1bf4..e5779d55c 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -183,7 +183,7 @@ sanitize: ifneq ($(shell which git),) MAJOR = 0 -MINOR = 2 +MINOR = 3 PATCH = 0 GIT_COMMIT = $(shell git rev-parse HEAD | awk '{print $0; exit}' | xargs echo -n | sed 's/[\/&]/\\&/g')