Bump version

This commit is contained in:
Yosys Bot 2020-12-02 00:10:06 +00:00
parent 7b0cfd5c36
commit d021f4b400
1 changed files with 1 additions and 1 deletions

View File

@ -125,7 +125,7 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
YOSYS_VER := 0.9+3710
YOSYS_VER := 0.9+3715
GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
OBJS = kernel/version_$(GIT_REV).o