diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2014-04-12 22:07:08 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2014-04-12 22:07:08 +0200 |
commit | bd69c2380c56d6fe7651686c9768ce09cafe4452 (patch) | |
tree | fef2fedf006d66c43b43ffa8b21a4c4a63086b30 /debian/patches/gitrevision.diff | |
parent | f65a2e63f18071f02f8e9ade7e1eda978ea0e85b (diff) |
Now it builds under pbuilder chroot environment
Diffstat (limited to 'debian/patches/gitrevision.diff')
-rw-r--r-- | debian/patches/gitrevision.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/patches/gitrevision.diff b/debian/patches/gitrevision.diff new file mode 100644 index 00000000..14af5f34 --- /dev/null +++ b/debian/patches/gitrevision.diff @@ -0,0 +1,13 @@ +Index: yosys-0.2.0+/Makefile +=================================================================== +--- yosys-0.2.0+.orig/Makefile 2014-04-12 19:30:08.659862767 +0200 ++++ yosys-0.2.0+/Makefile 2014-04-12 21:44:51.699931454 +0200 +@@ -40,7 +40,7 @@ + endif + + YOSYS_VER := 0.2.0+ +-GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN) ++GIT_REV := d18c10d + OBJS = kernel/version_$(GIT_REV).o + + # set 'ABCREV = default' to use abc/ as it is |