diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-06-10 19:12:05 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-10 19:12:05 +0200 |
| commit | e0a362d6a20f202573e368d149360ddbe387517b (patch) | |
| tree | 4d0d2b3ba9e30123465d4c8991217f5faded8c2f /TODO | |
| parent | 68c8576870369953c24dc830521a081068cf4e5e (diff) | |
| download | jenkins.debian.net-e0a362d6a20f202573e368d149360ddbe387517b.tar.xz | |
reproducible coreboot: build with no payloads
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -235,9 +235,10 @@ 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. +** split into two jobs? one to build the toolchain, the other to test, keep the git repo and update it. run both jobs weekly. *** call script with "init" or "run-tests" -*** not sure how to best keep the git repo and the toolchain (not on tmpfs) while building in tmpfs... +*** not sure how to best keep the git repo and the toolchain (not on tmpfs) while building in tmpfs... maybe just do it in one job... +** build the docs? * openwrt ---- |