[kitten] push by kevin.pe...@gmail.com - Turn off Portals4 UDP by default until fixed for Kitten. on 2014-03-28 15:16 GMT

[kit...@googlecode.com]

Revision: ef06b69d4431
Branch: default
Author: Kevin Pedretti <ktp...@sandia.gov>
Date: Fri Mar 28 15:16:20 2014 UTC
Log: Turn off Portals4 UDP by default until fixed for Kitten.
http://code.google.com/p/kitten/source/detail?r=ef06b69d4431

Modified:
/user/external/get.pl

=======================================
--- /user/external/get.pl Wed Aug 7 19:54:32 2013 UTC
+++ /user/external/get.pl Fri Mar 28 15:16:20 2014 UTC
@@ -14,7 +14,7 @@
$portals4{directory} = "portals4";
$portals4{get_cmd} = "svn checkout
http://portals4.googlecode.com/svn/trunk/ $portals4{directory}";
$portals4{preconfig_cmd} = "./autogen.sh";
-$portals4{config_cmd} = "./configure --enable-kitten --enable-ppe
--disable-transport-ib --enable-transport-udp --disable-shared
--with-xpmem=$INSTALLDIR --prefix=$INSTALLDIR";
+$portals4{config_cmd} = "./configure --enable-kitten --enable-ppe
--disable-transport-ib --disable-transport-udp --disable-shared
--with-xpmem=$INSTALLDIR --prefix=$INSTALLDIR";
push(@packages, \%portals4);

my %portals4_linux;