if test "$trace_default" = "yes"; then
echo "CONFIG_TRACE_DEFAULT=y" >> $config_host_mak
fi
-if test "$hax" = "yes" ; then
- if test "$mingw32" = "yes" ; then
- echo "CONFIG_HAX_BACKEND=y" >> $config_host_mak
- elif test "$darwin" = "yes" ; then
- echo "CONFIG_HAX_BACKEND=y" >> $config_host_mak
- else
- hax="no"
- fi
-fi
if test "$rdma" = "yes" ; then
echo "CONFIG_RDMA=y" >> $config_host_mak