diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -356,7 +356,7 @@ if test -z "$target_list" ; then fi # the following are Linux specific if [ "$user" = "yes" ] ; then - target_list="i386-user arm-user armeb-user sparc-user ppc-user mips-user mipsel-user sh4-user $target_list" + target_list="i386-user arm-user armeb-user sparc-user ppc-user mips-user mipsel-user $target_list" fi else target_list=`echo "$target_list" | sed -e 's/,/ /g'` |