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

Merge pull request #304 from traversaro:patch-5

Browse Source 
PiperOrigin-RevId: 529843317
Change-Id: Iad4a3df7d8c61f536890f9760e441793d6d884dc
This commit is contained in:
Copybara-Service
2023-05-05 16:38:02 -07:00
parent 496755a55d 2488d1c5b2
commit 26ff1fc4b5
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/user/CMakeLists.txt
+1
View File
@@ -25,3 +25,4 @@ set(MUJOCO_USER_SRCS
)
target_sources(mujoco PRIVATE ${MUJOCO_USER_SRCS})
target_compile_definitions(mujoco PRIVATE MUJOCO_TINYOBJLOADER_IMPL)