Fix build file

Multiverse-Framework · Aug 20, 2024 · 0557d9c · 0557d9c
1 parent ef8ca25
commit 0557d9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build_third_parties.sh b/build_third_parties.sh
@@ -139,6 +139,7 @@ if [ $BUILD_MUJOCO = true ]; then
 
     FROM_SRC=false
     MUJOCO_BUILD_DIR=$BUILD_DIR/mujoco
+    MUJOCO_EXT_DIR=$EXT_DIR/mujoco
 
     if [ ! -d "$MUJOCO_BUILD_DIR" ]; then
         # Create the folder if it doesn't exist