summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-08-26 19:20:33 -0300
committercoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-08-26 19:20:33 -0300
commit7b5e4eec3daed6fe3eae1d0ba31117653f8e7fb2 (patch)
tree996ac56ad4053345bd4e88439fc553263c1e04a0
parent70512ff7d436dc3c0251a582bafcc093499d5b1d (diff)
fix gnu+linux-arm_dd
-rw-r--r--src/etc/xbs.cfg2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/xbs.cfg b/src/etc/xbs.cfg
index 25bb811..46854ef 100644
--- a/src/etc/xbs.cfg
+++ b/src/etc/xbs.cfg
@@ -2,5 +2,5 @@
# Platforms Distributions
ND_PLATFORMS=('gnu+linux_nd') # 'gnu+hurd_d'
-DD_PLATFORMS=('gnu+linux_dd' 'gnu+linux_arm_dd') # 'gnu+hurd_dd'
+DD_PLATFORMS=('gnu+linux_dd' 'gnu+linux-arm_dd') # 'gnu+hurd_dd'
PLATFORMS=("${ND_PLATFORMS[@]}" "${DD_PLATFORMS[@]}")