summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-06-08 14:50:46 +0200
committerHolger Levsen <holger@layer-acht.org>2015-06-08 14:50:46 +0200
commitdaac188881c02a3dca9f3bac15b642bc0d387a0b (patch)
tree2e43bd4b3db72bc4c3510db06b8469cf4738aec8
parenta9d6a45a35b50a70c337c826e0b10c967ec936f9 (diff)
downloadjenkins.debian.net-daac188881c02a3dca9f3bac15b642bc0d387a0b.tar.xz
reproducible coreboot: split into two jobs and run weekly
-rw-r--r--TODO1
1 files changed, 1 insertions, 0 deletions
diff --git a/TODO b/TODO
index 0ccfbf09..062d0ba4 100644
--- a/TODO
+++ b/TODO
@@ -232,6 +232,7 @@ egrep -R -l '(debbindiff had trouble comparing|maybe there is still )' /var/lib/
* coreboot
** add more variations: domain+hostname, uid+gid, USER, UTS namespace
+** split into two jobs, one to build the toolchain, the other to test, keep the git repo and update it. run both jobs weekly.
* openwrt
----