diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-08-10 00:16:23 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-08-10 00:16:23 +0000 |
commit | 035d99f3a82812669b801fb27aeee30876d61049 (patch) | |
tree | a3c534297d7bf3e0c7f66b4ed64c46e4574206de | |
parent | 8fab6ec023dc0e343ff4dbe08d9bafee7f871306 (diff) | |
download | yosys-035d99f3a82812669b801fb27aeee30876d61049.tar.gz yosys-035d99f3a82812669b801fb27aeee30876d61049.tar.bz2 yosys-035d99f3a82812669b801fb27aeee30876d61049.zip |
Bump version
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -131,7 +131,7 @@ LDLIBS += -lrt endif endif -YOSYS_VER := 0.20+6 +YOSYS_VER := 0.20+11 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo |