diff options
| -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 db0a7a76..d395a00d 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' ], - 'armv7hl' => [ 'armada' ], + 'armv7hl' => [ 'armada', 'armlet1' ], }, build_nodes_aliases => { 'jonund0' => "jonund.${::domain}", |