mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-10 19:27:07 +00:00
Code Activity

Bump version

Browse source
This commit is contained in:
github-actions[bot] 2022-01-18 01:00:53 +00:00
parent 55924de708
commit 59382945a9
1 changed files with 1 additions and 1 deletions

2
Makefile
View file

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