diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-01-20 01:06:01 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-01-20 01:06:01 +0000 |
commit | bc027b2cae9a85b887684930705762fac720b529 (patch) | |
tree | e5190759b12b3f2bf86864c40cf4df4e01967d20 | |
parent | f699c4ba5828bc5352068fa536e48b8046dc44d9 (diff) | |
download | yosys-bc027b2cae9a85b887684930705762fac720b529.tar.gz yosys-bc027b2cae9a85b887684930705762fac720b529.tar.bz2 yosys-bc027b2cae9a85b887684930705762fac720b529.zip |
Bump version
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -129,7 +129,7 @@ LDFLAGS += -rdynamic LDLIBS += -lrt endif -YOSYS_VER := 0.13+10 +YOSYS_VER := 0.13+15 GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) OBJS = kernel/version_$(GIT_REV).o |