From e3ddb126f5824ca806e4bf2a7a438a5f0091713b Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Fri, 2 Jan 2026 06:02:21 -0800
Subject: [PATCH] Fix target name; should be PLATFORM not STUDIO.

(This was caused by a bad merge on my end.)

PiperOrigin-RevId: 851315742
Change-Id: Ifd5afa7f6cbd566ef2c15603e91a7360ea65c86a
---
 src/experimental/platform/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/experimental/platform/CMakeLists.txt b/src/experimental/platform/CMakeLists.txt
index a7d4cdd3..72dab8a4 100644
--- a/src/experimental/platform/CMakeLists.txt
+++ b/src/experimental/platform/CMakeLists.txt
@@ -30,7 +30,7 @@ endif()
 
 add_library(${MUJOCO_PLATFORM_TARGET_NAME} STATIC)
 
-target_compile_definitions(${MUJOCO_STUDIO_TARGET_NAME}
+target_compile_definitions(${MUJOCO_PLATFORM_TARGET_NAME}
     PUBLIC
         -D${MUJOCO_PLATFORM_RENDER_CONFIG}
 )