fix handling of target-triples: use a comma to separate hosts

nikomatsakis · nikomatsakis · commit 34a507443234 · 2011-11-08T21:11:47.000-08:00
diff --git a/configure b/configure
@@ -336,6 +336,8 @@ fi
 if [ -z "$CFG_TARGET_TRIPLES" ]
 then
     CFG_TARGET_TRIPLES="${CFG_HOST_TRIPLE}"
+else
+    CFG_TARGET_TRIPLES="${CFG_TARGET_TRIPLES/,/ }"
 fi
 
 
