commit | 80c7f2225d9bc7a63bdca604c56029e4980bebd2 | [log] [tgz] |
---|---|---|
author | Jukka Jylänki <jujjyl@gmail.com> | Thu Apr 07 16:30:51 2022 +0300 |
committer | Jukka Jylänki <jujjyl@gmail.com> | Thu Apr 07 16:30:51 2022 +0300 |
tree | c8a9fa17cac7973e3fdca1dae8359ec773257a04 | |
parent | 5d86f20b9dd064a45d29b401e412668933764ac8 [diff] |
Mark cached_git_executable global
diff --git a/emsdk.py b/emsdk.py index 9ed3a88..90b4c55 100644 --- a/emsdk.py +++ b/emsdk.py
@@ -743,6 +743,7 @@ # If true, the search is required to succeed, and the execution # will terminate with sys.exit(1) if not found. def GIT(must_succeed=True): + global cached_git_executable if cached_git_executable is not None: return cached_git_executable # The order in the following is important, and specifies the preferred order