diff options
| author |  Lukacs Berki <lberki@google.com> | 2015-06-30 15:11:17 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2015-06-30 19:02:50 +0000 |
| commit | f598710fb9d2db8408264b2c16335330c44fee5d (patch) | |
| tree | 895832ac73d83423dc52286d160fc14ffcf8d886 /scripts | |
| parent | 0c08fd62f4f37ecd1f2125c349e089233204ed08 (diff) | |
Link in src/tools/android to base_workspace.
This fixes #267 to some degree. An update to the tools/ directory will still be required.
--
MOS_MIGRATED_REVID=97228079
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/bootstrap/init_workspace.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/bootstrap/init_workspace.sh b/scripts/bootstrap/init_workspace.sh index fba6125e40..a6cc1a6a0e 100755 --- a/scripts/bootstrap/init_workspace.sh +++ b/scripts/bootstrap/init_workspace.sh @@ -23,6 +23,9 @@ mkdir -p "$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}/src" +mkdir -p ${base_workspace}/src/tools +ln -s $(pwd)/src/tools/android ${base_workspace}/src/tools/android # Create a bazelrc file with the base_workspace directory in the package path. bazelrc='build --package_path %workspace%:'${base_workspace} |