src/etc/dbscripts.cfg


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