diff options
Diffstat (limited to 'src/etc/dbscripts.cfg')
| -rw-r--r-- | src/etc/dbscripts.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/etc/dbscripts.cfg b/src/etc/dbscripts.cfg index 8956683..7970040 100644 --- a/src/etc/dbscripts.cfg +++ b/src/etc/dbscripts.cfg @@ -2,5 +2,5 @@ # 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[@]}") +DD_PLATFORMS=('gnu+linux_add' 'gnu+linux_add_arm') # 'gnu+hurd_add' +PLATFORMS=("${MAIN_PLATFORMS[@]}" "${DD_PLATFORMS[@]}") |