diff options
author | Laszlo Csomor <laszlocsomor@google.com> | 2016-12-19 15:43:31 +0000 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2016-12-19 16:16:00 +0000 |
commit | 5402993a5e9065984a42eca2132ec56ca3aa456f (patch) | |
tree | 93039cb067007817ecf4258e1fe59ba4edbf15e6 /scripts/bootstrap | |
parent | a4d0ea406e8622e305fc3253075cfee60da3d3d2 (diff) |
Windows: fix bootstrapping
Use $PATHSEP to create a Java classpath.
Fixes https://github.com/bazelbuild/bazel/issues/2262
--
PiperOrigin-RevId: 142445784
MOS_MIGRATED_REVID=142445784
Diffstat (limited to 'scripts/bootstrap')
-rwxr-xr-x | scripts/bootstrap/compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh index 6ffd644f74..2d4026cd57 100755 --- a/scripts/bootstrap/compile.sh +++ b/scripts/bootstrap/compile.sh @@ -101,7 +101,7 @@ function java_compilation() { local library_jars=$4 local output=$5 - local classpath=${library_jars// /$PATHSEP}:$5 + local classpath=${library_jars// /$PATHSEP}${PATHSEP}$5 local sourcepath=${directories// /$PATHSEP} tempdir |