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, 0 insertions, 1 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in
index b0a7822..1160938 100644
--- a/tools/misc/Makefile.in
+++ b/tools/misc/Makefile.in
@@ -540,7 +540,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@