diff --git a/configure b/configure index ba8e43e4b33..726d2a1e84e 100755 --- 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