diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-10-20 00:25:10 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-10-20 00:25:10 +0000 |
commit | 6781746872087d8c1eb3f5560fe338a693a40d7c (patch) | |
tree | 3b8d94f09b823e146df8bf12178e0373fa243b68 | |
parent | 8859d801c83b6d67279bb907837bb7b08d2f338e (diff) | |
download | yosys-6781746872087d8c1eb3f5560fe338a693a40d7c.tar.gz yosys-6781746872087d8c1eb3f5560fe338a693a40d7c.tar.bz2 yosys-6781746872087d8c1eb3f5560fe338a693a40d7c.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.22+33 +YOSYS_VER := 0.22+37 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo |