diff options
| author | P. J. McDermott <pehjota> | 2012-08-06 02:24:19 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-08-06 02:24:19 (EDT) |
| commit | 32723296b26367c5bfc4694d806b6bbd27e841ad (patch) | |
| tree | 2d68560b9539fc2855f211ea67ec274d2745db56 /dev/todo | |
| parent | faac5356164c6e23e0cd7227438cc3dec37317bf (diff) | |
Add Architecture =~ host-arch check to buildd.
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 |