projects
/
gringo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4e6e2fa
)
Sort source files for deterministic linking order
author
Reiner Herrmann
<reiner@reiner-h.de>
Wed, 7 Dec 2016 07:08:36 +0000
(08:08 +0100)
committer
Thomas Krennwallner
<tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000
(
04:10
+0000)
Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
Bug-Debian: https://bugs.debian.org/844096
===================================================================
Gbp-Pq: Name reproducible-build.patch
SConscript
patch
|
blob
|
history
diff --git
a/SConscript
b/SConscript
index 0ab4e7a55611e0cc4ecf2ac67b79a09815f7d43a..9164cd1f3038bf358ab17907dbae416089eb5cca 100644
(file)
--- a/
SConscript
+++ b/
SConscript
@@
-47,7
+47,7
@@
def find_files(env, path):
target = os.path.join(root, filename[:-4] + ".hh")
source = "#"+os.path.join(root, filename)
env.Re2cCond(target, source)
- return so
urces
+ return so
rted(sources)
finally:
os.chdir(oldcwd)