Hi again, Axel Beckert wrote: > Daniel Shahaf wrote: > > The patch I sent upstream removes dead code in order to make zsh-dev.deb > > reproducible. > > > > This bug is about divergence from upstream (debian installs config.h but > > upstream does not). The divergence has not been addressed either > > upstream or in the downstream package. > > Ok, they're both about reproducibility, but indeed not the same issue.
Well, no, I'm slightly confused: They're about the same issue, but from different points of view: Both issues are about zsh-dev not being reproducibly if once /bin/sh is dash and once bash. One issue (upstream) is about fixing configure.ac, Makefile.am so that this no more happens. The other issue (this Debian bug report) is about whether we want to continue to differ from upstream wrt. the inclusion of config.h in the zsh-dev package. Obviously the following actions would resolve this Debian bug report (#849288): * Upstream changes its code to install config.h as well. * We stop shipping config.h. That would reopen #776964. But what I currently plan to do is to use the patch from http://www.zsh.org/mla/workers/2016/msg02716.html and hence make zsh-dev reproducible again without having decided on the config.h inclusion discusssion. Would that action close this issue, too, or not? Because if zsh-dev becomes reproducible, this is mere a "we differ from upstream" issue, nothing more and not really a bug anymore, at most a wishlist item. Regards, Axel -- ,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/ : :' : | Debian Developer, ftp.ch.debian.org Admin `. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5 `- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
