Bug#1141553: gasnet: patch to make the build reproducible

[Chris Lamb]

Jochen Sprickerhof wrote:

> The attached patch fixes this.
>
> ++    BUILD_ID="`date -d @$SOURCE_DATE_EPOCH` $BUILD_USER"
                       ^

I would suggest adding a -u here (and to the parallel change to
./configure), so that it is reproducible regardless of the
build timezone.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org 🍥 chris-lamb.co.uk
       `-