Message ID | 1439386633-18933-16-git-send-email-pbonzini@redhat.com |
---|---|
State | New |
Headers | show |
diff --git a/configure b/configure index 28bf755..a19e8ec 100755 --- a/configure +++ b/configure @@ -5646,10 +5646,6 @@ if [ "$pixman" = "internal" ]; then echo "config-host.h: subdir-pixman" >> $config_host_mak fi -if test "$rdma" = "yes" ; then -echo "CONFIG_RDMA=y" >> $config_host_mak -fi - if [ "$dtc_internal" = "yes" ]; then echo "config-host.h: subdir-dtc" >> $config_host_mak fi