From 8ddb5ff97be8f19fdc1d8762e8b92511a2da1b4c Mon Sep 17 00:00:00 2001 From: Haroon Qureshi Date: Wed, 4 Mar 2026 07:56:18 -0800 Subject: [PATCH] Re-add `${CMAKE_ARGS}` to script which was removed by mistake. PiperOrigin-RevId: 878491532 Change-Id: Idc2a3b17617ca2b44f279c97d8d56917f6c1bf54 --- .github/workflows/build_steps.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build_steps.sh b/.github/workflows/build_steps.sh index bf75fd35..d97dd120 100755 --- a/.github/workflows/build_steps.sh +++ b/.github/workflows/build_steps.sh @@ -160,7 +160,8 @@ configure_studio() { -DMUJOCO_BUILD_TESTS=OFF \ -DMUJOCO_TEST_PYTHON_UTIL=OFF \ -DMUJOCO_WITH_USD=OFF \ - -DMUJOCO_USE_FILAMENT=ON + -DMUJOCO_USE_FILAMENT=ON \ + ${CMAKE_ARGS} echo "Configuring Studio... DONE" }