summaryrefslogtreecommitdiffstats
path: root/hl/tools/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'hl/tools/Makefile.in')
-rw-r--r--hl/tools/Makefile.in1
1 files changed, 0 insertions, 1 deletions
diff --git a/hl/tools/Makefile.in b/hl/tools/Makefile.in
index 5247b54..a34e225 100644
--- a/hl/tools/Makefile.in
+++ b/hl/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@