chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allow the Studio build script to be run outside the git checkout.

Browse Source 
PiperOrigin-RevId: 912421771
Change-Id: Ie355d2f59cd43166ab06aa49349d87a0f5f9151c
This commit is contained in:
Michael Moss
2026-05-08 02:51:24 -07:00
committed by Copybara-Service
parent b7b96d2acc
commit 3ef083eecc
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/experimental/studio/build.sh
+4 -3
View File
@@ -51,7 +51,8 @@ if [[ "$explicit_action" == false ]]; then
do_build=true do_build=true
fi fi
cd "$(git rev-parse --show-toplevel)" GIT_ROOT="${GIT_ROOT:-$(git rev-parse --show-toplevel)}"
cd "${GIT_ROOT}"
# Configure MuJoCo Studio # Configure MuJoCo Studio
if [[ "$do_configure" == true ]]; then if [[ "$do_configure" == true ]]; then
@@ -97,8 +98,8 @@ if [[ "$do_build" == true ]]; then
echo "Use the following command to run mujoco_studio" echo "Use the following command to run mujoco_studio"
echo "" echo ""
if [[ "${OS_NAME}" == "windows" ]]; then if [[ "${OS_NAME}" == "windows" ]]; then
echo " cd $(git rev-parse --show-toplevel)/build/bin && ./${build_type}/mujoco_studio.exe " echo " cd ${GIT_ROOT}/build/bin && ./${build_type}/mujoco_studio.exe "
else else
echo " cd $(git rev-parse --show-toplevel)/build/bin && ./mujoco_studio " echo " cd ${GIT_ROOT}/build/bin && ./mujoco_studio "
fi fi
fi fi