1 2 3 4 5 6
#!/bin/bash # Platforms Distributions MAIN_PLATFORMS=('gnu+linux_native') # 'gnu+hurd_native' DERIVATIVE_PLATFORMS=('gnu+linux_add' 'gnu+linux_add_arm') # 'gnu+hurd_add' PLATFORMS=("${MAIN_PLATFORMS[@]}" "${DERIVATIVE_PLATFORMS[@]}")