summaryrefslogtreecommitdiff
path: root/debian/patches/01_gitrevision.patch
blob: e34ce4a02be91a26300510d97ab4602cddb82623 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
From: Ruben Undheim <ruben.undheim@gmail.com>
Date: Sat, 14 May 2016 15:44:12 +0200
Subject: Compilation from the upstream code depends on being in the git
 repository to get the correct git-revision to be shown when running the
 program. This patch puts in the git revision from the correct upstream. It
 must be updated every time upstream changes!

Forwarded: doesn't make sense upstream
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0a61fe6..27eb998 100644
--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ else
 endif
 
 YOSYS_VER := 0.7
-GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
+GIT_REV := 61f6811
 OBJS = kernel/version_$(GIT_REV).o
 
 # set 'ABCREV = default' to use abc/ as it is