openmpi

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

dist

* fix doc installation location

2005-08-21 22:20:49 +00:00

nightly

- Once again: uninteresting cleanup to get diff smaller.

2005-09-04 20:54:19 +00:00

platform

* Update Portals configuration to use --with-portals instead of

2005-09-05 21:02:50 +00:00

code_counter.pl

Update the code counter to account for the new directory structure.

2005-08-10 20:39:33 +00:00

Add UC copyright

2005-03-24 12:43:37 +00:00

find_occurence.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

find_offenders.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

fix_headers.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

fix_indent.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

gen_stats.pl

Making some small changes

2005-04-21 17:17:40 +00:00

generate_file_list.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

headers.txt

this is the big windows commit. there are more things which have gone into this than i can remember. but basically, we are looking for

2004-10-22 16:06:05 +00:00

Makefile.am

* fix bug in ompi_mca.m4 that would prevent components that were forced

2005-08-21 21:04:52 +00:00

openmpi-valgrind.supp

* add a reasonable first wack at a suppressions file for Valgrind to ignore

2005-08-29 23:05:52 +00:00

search_replace.pl

* don't play with symlinks - we'll get the originals anyway

2005-07-03 15:21:49 +00:00

submit_test.pl

Add UC copyright

2005-03-24 12:43:37 +00:00

test_headers_in_ompi.pl

Add UC copyright

2005-03-24 12:43:37 +00:00