On 11.08.23 07:47, Chris Johns wrote:
On 11/8/2023 3:43 pm, Sebastian Huber wrote:
On 11.08.23 07:39, Chris Johns wrote:
On 11/8/2023 3:37 pm, Sebastian Huber wrote:
On 11.08.23 02:22, Chris Johns wrote:
On 10/8/2023 8:19 pm, Sebastian Huber wrote:
This helps to make the build reproducible.
On 11/8/2023 3:43 pm, Sebastian Huber wrote:
> On 11.08.23 07:39, Chris Johns wrote:
>> On 11/8/2023 3:37 pm, Sebastian Huber wrote:
>>> On 11.08.23 02:22, Chris Johns wrote:
On 10/8/2023 8:19 pm, Sebastian Huber wrote:
> This helps to make the build reproducible.
> ---
> wscrip
On 11.08.23 07:39, Chris Johns wrote:
On 11/8/2023 3:37 pm, Sebastian Huber wrote:
On 11.08.23 02:22, Chris Johns wrote:
On 10/8/2023 8:19 pm, Sebastian Huber wrote:
This helps to make the build reproducible.
---
wscript | 11 ++-
1 file changed, 10 insertions(+), 1 deletion(-)
d
On 11/8/2023 3:37 pm, Sebastian Huber wrote:
> On 11.08.23 02:22, Chris Johns wrote:
>> On 10/8/2023 8:19 pm, Sebastian Huber wrote:
>>> This helps to make the build reproducible.
>>> ---
>>> wscript | 11 ++-
>>> 1 file changed, 10 insertions(+), 1 deletion(-)
>>>
>>> diff --git a/wscri
On 11.08.23 02:22, Chris Johns wrote:
On 10/8/2023 8:19 pm, Sebastian Huber wrote:
This helps to make the build reproducible.
---
wscript | 11 ++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/wscript b/wscript
index a8fca88dcb..4baf701c27 100755
--- a/wscript
+++ b
On 10/8/2023 8:19 pm, Sebastian Huber wrote:
> This helps to make the build reproducible.
> ---
> wscript | 11 ++-
> 1 file changed, 10 insertions(+), 1 deletion(-)
>
> diff --git a/wscript b/wscript
> index a8fca88dcb..4baf701c27 100755
> --- a/wscript
> +++ b/wscript
> @@ -188,6 +188,1
This helps to make the build reproducible.
---
wscript | 11 ++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/wscript b/wscript
index a8fca88dcb..4baf701c27 100755
--- a/wscript
+++ b/wscript
@@ -188,6 +188,15 @@ def process_start_files(self):
self.link_task.dep_n
