diff options
| -rw-r--r-- | src/etc/xbs.cfg | 2 |
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[@]}") |