summaryrefslogtreecommitdiffstats
path: root/mpi-patches/disable-make
Commit message (Collapse)AuthorAgeFilesLines
* Adding patch to MPI to disable its Makefile so people don't tryKaz Kylheku2012-04-101-0/+18
to work around TXR build problems by running make inside the MPI directory, which is wrong. Also fixing an incorrect use of ctype.h functions in MPI and one case of a superfluous warning. * mpi-patches/series: new patches added. * mpi-patches/disable-make: New file. * mpi-patches/fix-ctype-warnings: New file.