diff options
-rwxr-xr-x | compile.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compile.sh b/compile.sh index 39997a9bbe..92682dcc76 100755 --- a/compile.sh +++ b/compile.sh @@ -120,10 +120,10 @@ EOF # Create symlinks so we can use tools and examples from the base_workspace. base_workspace=$(pwd)/base_workspace -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 +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" case "${PLATFORM}" in linux) |