diff --git a/tidl_api/make.buildid b/tidl_api/make.buildid
index 636278c11a3d33c6e28f7ed41ef9d91ee0dcbc72..80c05593e3c068c6a011ab02ae983a7e4e34711e 100644 (file)
--- a/tidl_api/make.buildid
+++ b/tidl_api/make.buildid
# THE POSSIBILITY OF SUCH DAMAGE.
MAJOR_VER=1
-MINOR_VER=3
-PATCH_VER=2
+MINOR_VER=5
+PATCH_VER=1
ifeq ($(shell git rev-parse --short HEAD 2>&1 1>/dev/null; echo $$?),0)
BUILD_SHA?=$(shell git rev-parse --short HEAD)