diff options
Diffstat (limited to 'config_platforms')
-rw-r--r-- | config_platforms | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config_platforms b/config_platforms index 4c8762f..4ef4353 100644 --- a/config_platforms +++ b/config_platforms @@ -1,4 +1,6 @@ #!/hint/bash # Parabola Platforms -PLATFORMS=('abslibre_gnu+linux' 'abslibre_gnu+linux_arm') # 'gnu+hurd' 'gnu+linux' 'abslibre_gnu+hurd' +MAIN_PLATFORMS=('gnu+linux') # 'gnu+hurd' +DERIVATIVE_PLATFORMS=('abslibre_gnu+linux' 'abslibre_gnu+linux_arm') # 'abslibre_gnu+hurd' +PLATFORMS=("${MAIN_PLATFORMS[@]}" "${DERIVATIVE_PLATFORMS[@]}") |