From 544bd18713564a2bc0dc109f6af591bc2a33b90b Mon Sep 17 00:00:00 2001 From: Radovan Bast Date: Tue, 28 Jul 2015 12:58:18 +0200 Subject: [PATCH] s/configure_command/setup_command/ --- lib/config.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/config.py b/lib/config.py index be34c43..377d040 100644 --- a/lib/config.py +++ b/lib/config.py @@ -99,7 +99,7 @@ def run_cmake(command, build_path, default_build_path): shutil.rmtree(default_build_path) else: # configuration was successful - save_configure_command(sys.argv, build_path) + save_setup_command(sys.argv, build_path) print_build_help(build_path, default_build_path) @@ -116,11 +116,11 @@ def print_build_help(build_path, default_build_path): print(' $ make') -def save_configure_command(argv, build_path): +def save_setup_command(argv, build_path): """ - Save configure command to a file. + Save setup command to a file. """ - file_name = os.path.join(build_path, 'configure_command') + file_name = os.path.join(build_path, 'setup_command') f = open(file_name, 'w') f.write(' '.join(argv[:]) + '\n') f.close()