diff --git a/tidl_api/make.buildid b/tidl_api/make.buildid
index c2efbc5690ccdc7e9b85f88ae6a5ae6a802d5381..250ce96aecf45c92c6f0e01486c4fb1b4fac5f10 100644 (file)
--- a/tidl_api/make.buildid
+++ b/tidl_api/make.buildid
# THE POSSIBILITY OF SUCH DAMAGE.
MAJOR_VER=1
-MINOR_VER=4
-PATCH_VER=0
+MINOR_VER=3
+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)