summaryrefslogtreecommitdiff
path: root/src/etc/dbscripts.cfg
diff options
context:
space:
mode:
authorcoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-08-26 04:56:14 -0300
committercoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-08-26 04:56:14 -0300
commit290efe9d388cf0add947ccc95e478d1131acdbe1 (patch)
tree84d1206180cd4ce31b18a13ad5f1585e4738cafd /src/etc/dbscripts.cfg
parenta21399be6fc6ca62a274f1551f3febb3cabab2fc (diff)
rename DERIVATI{ON,VE} -> DD (Derivation Distribution)
Diffstat (limited to 'src/etc/dbscripts.cfg')
-rw-r--r--src/etc/dbscripts.cfg4
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[@]}")