diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2014-10-28 21:46:33 +0100 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2014-10-28 21:46:33 +0100 |
| commit | 1beec81c101600440743051b765ab0a515ba7332 (patch) | |
| tree | d7ae5608a4f9da89cd9123c277753ccfd855c8c4 /debian/patches | |
| parent | 96c82713cb0653d0061bac4a019f6db19c3af282 (diff) | |
Small fix
Diffstat (limited to 'debian/patches')
| -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 e7c1f738..75a73156 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+$(shell test -d .git && { git log --author=clifford@clifford.at --oneline ca125bf41.. | wc -l; }) -GIT_REV := $(shell git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) -+GIT_REV := f9c096e ++GIT_REV := f9c096e OBJS = kernel/version_$(GIT_REV).o # set 'ABCREV = default' to use abc/ as it is |