diff options
| author |  David Chen <dzc@google.com> | 2015-07-02 09:14:32 +0000 |
|---|---|---|
| committer |  Florian Weikert <fwe@google.com> | 2015-07-02 11:26:23 +0000 |
| commit | f54fc60c7fc0414c1490dbeed8606e51841e9486 (patch) | |
| tree | a3cf9e75091bda31102b4220deb18a2e67e33f4a /scripts | |
| parent | 4f89281d96cf039a483a935074124bf5f42506bb (diff) | |
rm -rf "${base_workspace}/src" since it is a directory.
Fixes #272
--
MOS_MIGRATED_REVID=97402007
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/bootstrap/init_workspace.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bootstrap/init_workspace.sh b/scripts/bootstrap/init_workspace.sh index a6cc1a6a0e..7bc75d9657 100755 --- a/scripts/bootstrap/init_workspace.sh +++ b/scripts/bootstrap/init_workspace.sh @@ -23,7 +23,7 @@ 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" +rm -rf "${base_workspace}/src" mkdir -p ${base_workspace}/src/tools ln -s $(pwd)/src/tools/android ${base_workspace}/src/tools/android |