[gringo] 12/20: reproducible-build.patch: quilt refresh for gringo 5.1

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit cf28bfe0d0792d00c5402432882b52a70cbd799a
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Dec 10 09:47:56 2016 +0100

    reproducible-build.patch: quilt refresh for gringo 5.1
---
 debian/patches/reproducible-build.patch | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/patches/reproducible-build.patch b/debian/patches/reproducible-build.patch
index f11ab72..86ed8f2 100644
--- a/debian/patches/reproducible-build.patch
+++ b/debian/patches/reproducible-build.patch
@@ -10,13 +10,13 @@ Bug-Debian: https://bugs.debian.org/844096
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/SConscript b/SConscript
-index f12973d..4ef932b 100644
+index 0ab4e7a..9164cd1 100644
 --- a/SConscript
 +++ b/SConscript
-@@ -43,7 +43,7 @@ def find_files(env, path):
-                     target = os.path.join(root, filename[:-3] + ".hh")
+@@ -47,7 +47,7 @@ def find_files(env, path):
+                     target = os.path.join(root, filename[:-4] + ".hh")
                      source = "#"+os.path.join(root, filename)
-                     env.Re2c(target, source)
+                     env.Re2cCond(target, source)
 -        return sources
 +        return sorted(sources)
      finally:

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