;;
esac
SIM_AC_OPTION_HARDWARE($hw_enabled,$hw_devices,$hw_extra_devices)
-mips_extra_objs="$SIM_DV_SOCKSER_O"
-AC_SUBST(mips_extra_objs)
-
-if test "$sim_hw_p" = yes -a -z "$SIM_DV_SOCKSER_O"; then
- case " $sim_hw " in
- *" tx3904sio "*)
- AC_MSG_ERROR([Sorry, but tx3904sio hardware support is
-unavailable for your target. Please use --disable-sim-hardware, or pass a
-list of devices to enable that does not include that.])
- esac
-fi
# Choose simulator engine