From 13037765409f2b53734e28d4f1c1bd9ef8d71056 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jeroen=20B=C3=A9dorf?= Date: Mon, 15 Jul 2019 21:17:09 +0200 Subject: [PATCH] Add spaces to make string replace match --- configure.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure.py b/configure.py index f68aed4c564..64022101e97 100644 --- a/configure.py +++ b/configure.py @@ -1189,8 +1189,8 @@ def set_other_mpi_vars(environ_cp): os.path.join(mpi_home, 'include/mpi_portable_platform.h'), 'third_party/mpi/mpi_portable_platform.h') # TODO(gunan): avoid editing files in configure - sed_in_place('third_party/mpi/mpi.bzl', 'MPI_LIB_IS_OPENMPI=False', - 'MPI_LIB_IS_OPENMPI=True') + sed_in_place('third_party/mpi/mpi.bzl', 'MPI_LIB_IS_OPENMPI = False', + 'MPI_LIB_IS_OPENMPI = True') else: # MVAPICH / MPICH symlink_force( @@ -1198,8 +1198,8 @@ def set_other_mpi_vars(environ_cp): symlink_force( os.path.join(mpi_home, 'include/mpicxx.h'), 'third_party/mpi/mpicxx.h') # TODO(gunan): avoid editing files in configure - sed_in_place('third_party/mpi/mpi.bzl', 'MPI_LIB_IS_OPENMPI=True', - 'MPI_LIB_IS_OPENMPI=False') + sed_in_place('third_party/mpi/mpi.bzl', 'MPI_LIB_IS_OPENMPI = True', + 'MPI_LIB_IS_OPENMPI = False') if os.path.exists(os.path.join(mpi_home, 'lib/libmpi.so')): symlink_force(