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 e34ce4a0..8e3b5352 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 0a61fe6..27eb998 100644 +index d759b11..c92c808 100644 --- a/Makefile +++ b/Makefile -@@ -73,7 +73,7 @@ else +@@ -100,7 +100,7 @@ LDLIBS += -lrt endif - YOSYS_VER := 0.7 + YOSYS_VER := 0.8 -GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) -+GIT_REV := 61f6811 ++GIT_REV := 5706e90 OBJS = kernel/version_$(GIT_REV).o # set 'ABCREV = default' to use abc/ as it is |