diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-20 14:35:17 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-20 14:35:17 +0200 |
commit | 59d1b0291a152ba248132200569233c4c0f009c1 (patch) | |
tree | 2c9409634933d4575cfb62c51e68680a7accd5b5 /debian | |
parent | fe13b9e10310d7ab146fa3e67a4ac8469a431aa7 (diff) |
Updated git revision
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/01_gitrevision.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch index faa13082..8d35b73f 100644 --- a/debian/patches/01_gitrevision.patch +++ b/debian/patches/01_gitrevision.patch @@ -14,7 +14,7 @@ Index: yosys/Makefile YOSYS_VER := 0.3.0+ -GIT_REV := $(shell git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) -+GIT_REV := 01ef34c ++GIT_REV := 652345c OBJS = kernel/version_$(GIT_REV).o # set 'ABCREV = default' to use abc/ as it is |