diff options
Diffstat (limited to 'deployment/mga_buildsystem/manifests/config.pp')
| -rw-r--r-- | deployment/mga_buildsystem/manifests/config.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deployment/mga_buildsystem/manifests/config.pp b/deployment/mga_buildsystem/manifests/config.pp index 010225cb..4c523479 100644 --- a/deployment/mga_buildsystem/manifests/config.pp +++ b/deployment/mga_buildsystem/manifests/config.pp @@ -28,7 +28,7 @@ class mga_buildsystem::config { 'i586' => [ 'ecosse0', 'rabbit0', 'rabbit1' ], 'x86_64' => [ 'rabbit0', 'ecosse0', 'rabbit1' ], 'armv5tl' => [ 'armorique', 'armagnac', 'armada', 'armlet1', 'armlet2' ], - 'armv7hl' => [ 'armada', 'armlet1', 'armlet2', 'armlet4', 'armlet5' ], + 'armv7hl' => [ 'armada', 'armlet1', 'armlet2', 'armlet3', 'armlet4', 'armlet5' ], }, build_nodes_aliases => { 'jonund0' => "jonund.${::domain}", |