Avoid exposing symbols from the timing library to avoid ODR issues.

jbcoe · copybara-github · commit 830a3c9e3aef · 2025-11-11T03:09:01.000-08:00
PiperOrigin-RevId: 830831651
Change-Id: I96bb73b9d2c317b21358a1e17abf64a61f583e78
diff --git a/dm_control/mujoco/wrapper/mujoco_timer.lds b/dm_control/mujoco/wrapper/mujoco_timer.lds
@@ -0,0 +1,6 @@
+{
+  global:
+    dm_control_mujoco_get_time;
+  local:
+    *;
+};

-Original file line number
+Diff line change
@@ @@ -0,0 +1,6 @@ @@
 +{
 +  global:
 +    dm_control_mujoco_get_time;
 +  local:
 +    *;
 +};