Bug#849288: [Pkg-zsh-devel] Bug#849288: Bug#849288: zsh-dev: installing config.h breaks reproducibility (followup to #776964)

2016-12-25 Thread Daniel Shahaf
Control: retitle -1 zsh-dev: installs header files containing declarations of non-"mod_export" functions (followup to #776964) Axel Beckert wrote on Sun, Dec 25, 2016 at 17:17:36 +0100: > Both issues are about zsh-dev not being reproducibly if once /bin/sh > is dash and once bash. > > One issue

Bug#849288: [Pkg-zsh-devel] Bug#849288: Bug#849288: zsh-dev: installing config.h breaks reproducibility (followup to #776964)

2016-12-25 Thread Axel Beckert
Hi Daniel, Daniel Shahaf wrote: > > thanks for making this a bug report, analysing the cause, writing a > > patch and sending it upstream (c.f. > > http://www.zsh.org/mla/workers/2016/msg02716.html). > > You're welcome, but the patch I sent upstream is about a different > issue. Oops. > The

Bug#849288: [Pkg-zsh-devel] Bug#849288: Bug#849288: zsh-dev: installing config.h breaks reproducibility (followup to #776964)

2016-12-25 Thread Daniel Shahaf
Control: tag -1 - patch upstream Control: notforwarded -1 Axel Beckert wrote on Sun, Dec 25, 2016 at 15:25:38 +0100: > Daniel Shahaf wrote: > > Package: zsh-dev > > Version: 5.3.1-1 > > Since 5.3.1-1 hasn't been uploaded yet, I assume you meant 5.3-1. Indeed. Thanks for catching/fixing that.