diff options
Diffstat (limited to 'debian/patches/01_gitrevision.patch')
| -rw-r--r-- | debian/patches/01_gitrevision.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch index 8e3b5352..222d1363 100644 --- a/debian/patches/01_gitrevision.patch +++ b/debian/patches/01_gitrevision.patch @@ -11,15 +11,15 @@ Forwarded: doesn't make sense upstream 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile -index d759b11..c92c808 100644 +index a673154..d779dc0 100644 --- a/Makefile +++ b/Makefile -@@ -100,7 +100,7 @@ LDLIBS += -lrt +@@ -115,7 +115,7 @@ LDLIBS += -lrt endif - YOSYS_VER := 0.8 + YOSYS_VER := 0.9 -GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) -+GIT_REV := 5706e90 ++GIT_REV := 1979e0b OBJS = kernel/version_$(GIT_REV).o # set 'ABCREV = default' to use abc/ as it is |