From d047d96e3399ba0e8ec668feebc968729215c491 Mon Sep 17 00:00:00 2001 From: Jamie Madill Date: Fri, 15 Dec 2017 16:25:16 -0500 Subject: scripts: Prefer git.bat on Windows. Calling git.bat seems to work in every instance, whereas some installations don't have access to "git" directly. --- scripts/external_revision_generator.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/external_revision_generator.py b/scripts/external_revision_generator.py index 493068ea..bdfe3549 100644 --- a/scripts/external_revision_generator.py +++ b/scripts/external_revision_generator.py @@ -33,7 +33,9 @@ if __name__ == '__main__': output_header_file = sys.argv[3] # Extract commit ID from the specified source directory - commit_id = subprocess.check_output(["git", "rev-parse", "HEAD"], cwd=source_dir).decode('utf-8').strip() + # Call git.bat on Windows for compatiblity. + git_binary = "git.bat" if os == "nt" else "git" + commit_id = subprocess.check_output([git_binary, "rev-parse", "HEAD"], cwd=source_dir).decode('utf-8').strip() # Write commit ID to output header file with open(output_header_file, "w") as header_file: -- cgit v1.2.3