diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2011-12-13 09:51:43 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2011-12-13 09:51:43 -0800 |
commit | d6825dcfed19d2639b304a96d8cec1cabb040783 (patch) | |
tree | d9f1df2768409c7c92702f14ebcb2c36921a7dea /mpi-patches/series | |
parent | 5a9bf359b9aca63f5eb26f5a371b0fae7dd353b4 (diff) | |
download | txr-d6825dcfed19d2639b304a96d8cec1cabb040783.tar.gz txr-d6825dcfed19d2639b304a96d8cec1cabb040783.tar.bz2 txr-d6825dcfed19d2639b304a96d8cec1cabb040783.zip |
Patch to shrink mpi-int to three words on 32 bit platforms,
so that obj_t stays four pointers wide.
* mpi-patches/series: New patch added.
* mpi-patches/shrink-mpi-int: New file.
Diffstat (limited to 'mpi-patches/series')
-rw-r--r-- | mpi-patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpi-patches/series b/mpi-patches/series index d12f15d1..311d7fe5 100644 --- a/mpi-patches/series +++ b/mpi-patches/series @@ -10,3 +10,4 @@ mpi-set-mpi-word mpi-set-double-intptr fix-bad-shifts bit-search-optimizations +shrink-mpi-int |