diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-06-08 14:50:46 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-08 14:50:46 +0200 |
commit | daac188881c02a3dca9f3bac15b642bc0d387a0b (patch) | |
tree | 2e43bd4b3db72bc4c3510db06b8469cf4738aec8 | |
parent | a9d6a45a35b50a70c337c826e0b10c967ec936f9 (diff) | |
download | jenkins.debian.net-daac188881c02a3dca9f3bac15b642bc0d387a0b.tar.xz |
reproducible coreboot: split into two jobs and run weekly
-rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 ---- |