diff --git a/tidl_api/make.buildid b/tidl_api/make.buildid
index b114cc299690fd3c87d3ab393dd05ade30668139..c2efbc5690ccdc7e9b85f88ae6a5ae6a802d5381 100644 (file)
--- a/tidl_api/make.buildid
+++ b/tidl_api/make.buildid
# THE POSSIBILITY OF SUCH DAMAGE.
MAJOR_VER=1
-MINOR_VER=2
+MINOR_VER=4
PATCH_VER=0
-BUILD_VER=0
ifeq ($(shell git rev-parse --short HEAD 2>&1 1>/dev/null; echo $$?),0)
BUILD_SHA?=$(shell git rev-parse --short HEAD)
.PHONY: $(BUILD_ID)
BUILD_ID := -D_BUILD_VER=$(shell echo "" | \
- awk '{ printf ("%02d.%02d.%02d.%02d", $(MAJOR_VER), \
- $(MINOR_VER), $(PATCH_VER), $(BUILD_VER)); }') \
+ awk '{ printf ("%02d.%02d.%02d", $(MAJOR_VER), \
+ $(MINOR_VER), $(PATCH_VER)); }') \
-D_BUILD_SHA=$(BUILD_SHA)