We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e8b9119 commit d0ea01eCopy full SHA for d0ea01e
1 file changed
infer/src/Makefile
@@ -156,7 +156,7 @@ sanitize:
156
ifneq ($(shell which git),)
157
MAJOR = 0
158
MINOR = 1
159
-PATCH = 0
+PATCH = 1
160
161
GIT_COMMIT = $(shell git rev-parse HEAD | awk '{print $0; exit}' | xargs echo -n | sed 's/[\/&]/\\&/g')
162
GIT_BRANCH = $(shell git rev-parse --abbrev-ref HEAD | awk '{print $0; exit}' | xargs echo -n | sed 's/[\/&]/\\&/g')
0 commit comments