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