diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-01-28 16:58:55 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-01-28 16:58:55 +0100 |
commit | 4c06e41cfb79d1bb908f57c55a66a7615dbca5f1 (patch) | |
tree | 68b95b3eb370692267a4386b89b97a49fc0a6324 | |
parent | 66d3f0c11e66c7122ffba031fd3455236e808a58 (diff) | |
download | jenkins.debian.net-4c06e41cfb79d1bb908f57c55a66a7615dbca5f1.tar.xz |
reproducible Debian: cleanup arm64 todo
-rw-r--r-- | TODO | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -225,12 +225,9 @@ The idea is to run a jenkins.d.o host, which is maintained by DSA, but we are ma ==== reproducible Debian arm64 -* very DEB_BUILD_OPTS? +* vary DEB_BUILD_OPTS? (NUM_CPU) * squid is not used, we copy a /etc/squid3/squid3.conf but ubuntu uses /etc/squid/squid.conf * make systems send mail -* thank you tweet to codethink -* remove unwanted users from buildnodes (accidently created due to buggy update_jdn) -* let's not vary the kernel yet ==== reproducible Debian installation |