diff --git a/tidl_api/make.buildid b/tidl_api/make.buildid
index 600c3c0212ff8d4930e680c8d52d5f7cea394b7f..157b3d45dd0fd0212eddde4c4f4adb26eddd3236 100644 (file)
--- a/tidl_api/make.buildid
+++ b/tidl_api/make.buildid
# THE POSSIBILITY OF SUCH DAMAGE.
MAJOR_VER=1
-MINOR_VER=0
+MINOR_VER=3
PATCH_VER=0
-BUILD_VER=2
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)