[yosys] 01/01: Set GIT_REV to new version

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository yosys.

commit 129006ae18e3bdae8ccd151fca7d29cf1822f8ac
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Wed Oct 14 18:45:44 2015 +0200

    Set GIT_REV to new version
---
 debian/patches/01_gitrevision.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch
index b350830..4474241 100644
--- a/debian/patches/01_gitrevision.patch
+++ b/debian/patches/01_gitrevision.patch
@@ -16,7 +16,7 @@ Index: yosys/Makefile
 -YOSYS_VER := 0.5+$(shell cd $(YOSYS_SRC) && test -d .git && { git log --author=clifford at clifford.at --oneline c3c9fbfb8c678.. | wc -l; })
 -GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
 +YOSYS_VER := 0.5+
-+GIT_REV := ba4cce9
++GIT_REV := f13e387
  OBJS = kernel/version_$(GIT_REV).o
  
  # set 'ABCREV = default' to use abc/ as it is

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git