#!/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[@]}")