diff options
author | Laszlo Csomor <laszlocsomor@google.com> | 2015-03-31 19:05:21 +0000 |
---|---|---|
committer | Laurent Le Brun <laurentlb@google.com> | 2015-03-31 20:12:28 +0000 |
commit | d69c5dd1426ec3979bb822e56ba2969b8b6d4a18 (patch) | |
tree | 87cc664a7554ed6a0ed54b340d9d382debf6597d /compile.sh | |
parent | 22fb06f6cc855d1c95fdf713bc9e211b41599bdc (diff) |
Bazel: Patch in changes of pull request #83.
https://github.com/google/bazel/pull/83
--
MOS_MIGRATED_REVID=89989164
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compile.sh b/compile.sh index 6380d47f65..03938acd49 100755 --- a/compile.sh +++ b/compile.sh @@ -118,9 +118,9 @@ EOF } # Create symlinks so we can use tools and examples from the base_workspace. -rm -f base_workspace/tools && ln -s $(pwd)/tools base_workspace/tools -rm -f base_workspace/third_party && ln -s $(pwd)/third_party base_workspace/third_party -rm -f base_workspace/examples && ln -s $(pwd)/examples base_workspace/examples +rm -f base_workspace/tools && ln -s "$(pwd)/tools" base_workspace/tools +rm -f base_workspace/third_party && ln -s "$(pwd)/third_party" base_workspace/third_party +rm -f base_workspace/examples && ln -s "$(pwd)/examples" base_workspace/examples case "${PLATFORM}" in linux) |