From 7b5e4eec3daed6fe3eae1d0ba31117653f8e7fb2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?coadde=20=5BM=C3=A1rcio=20Alexandre=20Silva=20Delgado=5D?=
 <coadde@parabola.nu>
Date: Wed, 26 Aug 2015 19:20:33 -0300
Subject: fix gnu+linux-arm_dd

---
 src/etc/xbs.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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[@]}")
-- 
cgit v1.2.3