diff options
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 |