undo makefile change

pull/5640/head
Sharif Elgamal 2019-10-16 14:51:39 -07:00
parent a6d7989bfc
commit 008991fa27
1 changed files with 1 additions and 1 deletions

View File

@ -15,7 +15,7 @@
# Bump these on release - and please check ISO_VERSION for correctness.
VERSION_MAJOR ?= 1
VERSION_MINOR ?= 4
VERSION_BUILD ?= 0
VERSION_BUILD ?= 1
RAW_VERSION=$(VERSION_MAJOR).$(VERSION_MINOR).${VERSION_BUILD}
VERSION ?= v$(RAW_VERSION)