diff options
Diffstat (limited to 'deployment/mga_buildsystem')
| -rw-r--r-- | deployment/mga_buildsystem/manifests/config.pp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/deployment/mga_buildsystem/manifests/config.pp b/deployment/mga_buildsystem/manifests/config.pp index 164128b6..bd4c38f3 100644 --- a/deployment/mga_buildsystem/manifests/config.pp +++ b/deployment/mga_buildsystem/manifests/config.pp @@ -27,7 +27,8 @@ class mga_buildsystem::config { build_nodes => { 'i586' => [ 'ecosse0', 'rabbit0', 'rabbit1' ], 'x86_64' => [ 'rabbit0', 'ecosse0', 'rabbit1' ], - 'armv5tl' => [ 'armorique', 'armagnac', 'armada' ], + 'armv5tl' => [ 'armorique', 'armagnac' ], + 'armv7hl' => [ 'armada' ], }, build_nodes_aliases => { 'jonund0' => "jonund.${::domain}", @@ -65,7 +66,7 @@ class mga_buildsystem::config { } $std_arch = ['i586', 'x86_64'] - $std_arch_with_arm32 = [ 'i586', 'x86_64', 'armv5tl' ] + $std_arch_with_arm32 = [ 'i586', 'x86_64', 'armv5tl', 'armv7hl' ] $std_repos = { 'release' => { 'media_type' => [ 'release' ], |