diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-11-10 00:01:07 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-10 00:01:07 +0100 |
commit | d48d51ef846f0ab4f6bf98252d47a564557b8677 (patch) | |
tree | 38a531ec4a9cddbce52aaabc443cfff2e31c1e9d | |
parent | d20e3319d4d176b5c4d986ed449e2955c6905490 (diff) | |
download | jenkins.debian.net-d48d51ef846f0ab4f6bf98252d47a564557b8677.tar.xz |
reproduicble Debian: I guess we should build with usrmerge and without usrmerge…
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -208,6 +208,7 @@ The idea is to run a jenkins.d.o host, which is maintained by DSA, but we are ma *** actually TERM is set to "linux" by default already, COLUMN is unset ** vary the length of the build paths (/build/first vs /build/second), only once the unreproducibilities caused by different build paths are solved ** vary the init system: sysv and systemd +** vary (with) usrmerge and without (needs debootstrap from jessie-backports) ==== reproducible Debian armhf |