diff options
Diffstat (limited to 'dev/todo')
| -rw-r--r-- | dev/todo/buildd-infra.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/todo/buildd-infra.mdwn b/dev/todo/buildd-infra.mdwn index 39b3b82..50d8871 100644 --- a/dev/todo/buildd-infra.mdwn +++ b/dev/todo/buildd-infra.mdwn @@ -120,6 +120,8 @@ Operation: sleep 00:05:00 continue foreach host architecture+platform + if ! Architecture value matches host arch (use libopkh for this) + continue run builder on $headsrcopk if success mv *.opk $archivequeue/$source |