Bump version

This commit is contained in:
github-actions[bot] 2021-12-09 00:55:26 +00:00
parent 1184a7f3b4
commit cdb5711875
1 changed files with 1 additions and 1 deletions

View File

@ -129,7 +129,7 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
YOSYS_VER := 0.12+1
YOSYS_VER := 0.12+3
GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
OBJS = kernel/version_$(GIT_REV).o