summaryrefslogtreecommitdiffstats
path: root/tools/misc
diff options
context:
space:
mode:
Diffstat (limited to 'tools/misc')
-rw-r--r--tools/misc/Makefile.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in
index a3ff1b5..17e124e 100644
--- a/tools/misc/Makefile.in
+++ b/tools/misc/Makefile.in
@@ -201,6 +201,7 @@ MAINT = @MAINT@
MAKEINFO = @MAKEINFO@
MKDIR_P = @MKDIR_P@
MPE = @MPE@
+MPI_GET_SIZE = @MPI_GET_SIZE@
OBJECT_NAMELEN_DEFAULT_F = @OBJECT_NAMELEN_DEFAULT_F@
OBJEXT = @OBJEXT@
PACKAGE = @PACKAGE@