diff options
Diffstat (limited to 'build_files/cmake/project_source_info.py')
| -rw-r--r-- | build_files/cmake/project_source_info.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/cmake/project_source_info.py b/build_files/cmake/project_source_info.py index f2059b18ab4..90e240c35ef 100644 --- a/build_files/cmake/project_source_info.py +++ b/build_files/cmake/project_source_info.py @@ -86,7 +86,7 @@ def makefile_log(): make_exe = cmake_cache_var("CMAKE_MAKE_PROGRAM") make_exe_basename = os.path.basename(make_exe) - if make_exe_basename.startswith("make") or make_exe_basename.startswith("gmake"): + if make_exe_basename.startswith(("make", "gmake")): print("running 'make' with --dry-run ...") process = subprocess.Popen([make_exe, "--always-make", "--dry-run", "--keep-going", "VERBOSE=1"], stdout=subprocess.PIPE, |