Revision cfde872b

b/configure
1797 1797
    exit 1
1798 1798
fi
1799 1799

  
1800
if test "$xen" = "yes" ;
1801
    then
1802
    echo "CONFIG_XEN=y" >> $config_host_mak
1800
if test "$xen" = "yes" ; then
1801
  echo "CONFIG_XEN=y" >> $config_host_mak
1803 1802
fi
1804 1803

  
1805 1804
tools=

Also available in: Unified diff