Bump version

This commit is contained in:
github-actions[bot]
2021-07-30 00:52:33 +00:00
parent 54e75129e5
commit 87ef1dd805
+1 -1
View File
@@ -126,7 +126,7 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
YOSYS_VER := 0.9+4228
YOSYS_VER := 0.9+4231
GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
OBJS = kernel/version_$(GIT_REV).o