commit 8680e087700428614c5c368b90aef80729bee8b9
author Morten Krogh-Jespersen <mkroghj@google.com> Fri Oct 15 20:01:51 2021 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> Fri Oct 15 18:02:34 2021 +0000
tree ef307ddee754c4c35d58e258c4c679d9751af571
parent ba00e8880d64e2c6843a56dfd9ae796ec4017761

Fix creating r8lib and getting version for Windows

Change-Id: If8989d34b4b7e02144065991d78021b318de42ec

tools/create_r8lib.py

diff --git a/tools/create_r8lib.py b/tools/create_r8lib.py
index b0cd026..329ae8e 100755
--- a/tools/create_r8lib.py
+++ b/tools/create_r8lib.py
@@ -48,11 +48,12 @@
     fd.close()
     cmd = [jdk.GetJavacExecutable(), '-cp', r8jar, name]
     print(' '.join(cmd))
+    cp_separator = ';' if utils.IsWindows() else ':'
     subprocess.check_call(cmd)
     output = subprocess.check_output([
       jdk.GetJavaExecutable(),
       '-cp',
-      ':'.join([r8jar, os.path.dirname(name)]),
+      cp_separator.join([r8jar, os.path.dirname(name)]),
       'VersionExtractor'
     ]).decode('UTF-8').strip()
     if output == 'main':