aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2021-08-23 00:46:01 +0000
committergithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2021-08-23 00:46:01 +0000
commit591fe72203d0d85f8790984f218903a059d1cc69 (patch)
treede9a24c9c792c16a7f3a04d794bbf43cd954609d
parentdfc453b246c3b211a8c5df5e04c7afe2451b0986 (diff)
downloadyosys-591fe72203d0d85f8790984f218903a059d1cc69.tar.gz
yosys-591fe72203d0d85f8790984f218903a059d1cc69.tar.bz2
yosys-591fe72203d0d85f8790984f218903a059d1cc69.zip
Bump version
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0a3c75e58..90d8f0851 100644
--- a/Makefile
+++ b/Makefile
@@ -127,7 +127,7 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
-YOSYS_VER := 0.9+4280
+YOSYS_VER := 0.9+4284
GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
OBJS = kernel/version_$(GIT_REV).o