diff options
author | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-26 19:20:33 -0300 |
---|---|---|
committer | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-26 19:20:33 -0300 |
commit | 7b5e4eec3daed6fe3eae1d0ba31117653f8e7fb2 (patch) | |
tree | 996ac56ad4053345bd4e88439fc553263c1e04a0 /src | |
parent | 70512ff7d436dc3c0251a582bafcc093499d5b1d (diff) |
fix gnu+linux-arm_dd
Diffstat (limited to 'src')
-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[@]}") |