diff --git a/configure b/configure index 6845fccca6..ae10b581ca 100755 --- a/configure +++ b/configure @@ -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'`