diff options
Diffstat (limited to 'deployment')
| -rw-r--r-- | deployment/mga_buildsystem/manifests/config.pp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/deployment/mga_buildsystem/manifests/config.pp b/deployment/mga_buildsystem/manifests/config.pp index 6859367f..d0c66879 100644 --- a/deployment/mga_buildsystem/manifests/config.pp +++ b/deployment/mga_buildsystem/manifests/config.pp @@ -65,8 +65,10 @@ class mga_buildsystem::config { } } + include stdlib + $std_arch = ['i586', 'x86_64'] - $std_arch_with_arm32 = [ 'i586', 'x86_64', 'armv5tl', 'armv7hl' ] + $arm32_arch = ['armv5tl', 'armv7hl'] $std_repos = { 'release' => { 'media_type' => [ 'release' ], @@ -537,7 +539,7 @@ class mga_buildsystem::config { default_distro => 'cauldron', distros => { 'cauldron' => { - 'arch' => $std_arch_with_arm32, + 'arch' => concat($std_arch, $arm32_arch), 'mandatory_arch' => $std_arch, 'no_media_cfg_update' => true, 'medias' => $std_medias, |