summaryrefslogtreecommitdiffstats
path: root/tools/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'tools/Makefile.in')
-rw-r--r--tools/Makefile.in1
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in
index c592973..0b0e2d0 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -505,7 +505,6 @@ MAKEINFO = @MAKEINFO@
MANIFEST_TOOL = @MANIFEST_TOOL@
MKDIR_P = @MKDIR_P@
MPE = @MPE@
-MPI_GET_SIZE = @MPI_GET_SIZE@
NM = @NM@
NMEDIT = @NMEDIT@
OBJDUMP = @OBJDUMP@