Brian Barrett 6f19022db9 * Update Portals configuration to use --with-portals instead of ... --with-btl-portals * Update Red Storm build config file tomatch change This commit was SVN r7185.		2005-09-05 21:02:50 +00:00
..
optimized	* Clean up the --with-platform option to automagically set a whole bunch	2005-08-20 20:43:59 +00:00
redstorm	* Update Portals configuration to use --with-portals instead of	2005-09-05 21:02:50 +00:00