diff options
Diffstat (limited to 'mpi-patches/mpi-to-double')
| -rw-r--r-- | mpi-patches/mpi-to-double | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mpi-patches/mpi-to-double b/mpi-patches/mpi-to-double index 608e9dc3..dae195b2 100644 --- a/mpi-patches/mpi-to-double +++ b/mpi-patches/mpi-to-double @@ -1,7 +1,7 @@ Index: mpi-1.8.6/mpi.c =================================================================== ---- mpi-1.8.6.orig/mpi.c 2012-03-20 22:20:10.242815758 -0700 -+++ mpi-1.8.6/mpi.c 2012-03-21 06:48:36.401050757 -0700 +--- mpi-1.8.6.orig/mpi.c 2014-02-19 19:00:21.279452088 -0800 ++++ mpi-1.8.6/mpi.c 2014-02-19 19:01:29.294491437 -0800 @@ -14,6 +14,7 @@ #include <stdlib.h> #include <string.h> @@ -10,7 +10,7 @@ Index: mpi-1.8.6/mpi.c typedef unsigned char mem_t; extern mem_t *chk_malloc(size_t size); -@@ -2329,6 +2330,29 @@ +@@ -2335,6 +2336,29 @@ /* }}} */ @@ -42,8 +42,8 @@ Index: mpi-1.8.6/mpi.c Index: mpi-1.8.6/mpi.h =================================================================== ---- mpi-1.8.6.orig/mpi.h 2012-03-20 22:20:09.994676258 -0700 -+++ mpi-1.8.6/mpi.h 2012-03-20 22:20:10.498959758 -0700 +--- mpi-1.8.6.orig/mpi.h 2014-02-19 18:59:53.335849528 -0800 ++++ mpi-1.8.6/mpi.h 2014-02-19 19:01:29.302491325 -0800 @@ -187,6 +187,11 @@ #endif /* end MP_NUMTH */ |