Add minor enhancements to compile binary.

* If output file exists, ask user whether to overwrite * Fix erroneous check for whether XML file was successfully saved PiperOrigin-RevId: 468743682 Change-Id: I06058c498328d333792e4b40d65c3a99ca1842e4
2022-08-19 11:14:37 -07:00
parent 7b7cf0c27a
commit ee6fed1230
3 changed files with 17 additions and 11 deletions
@@ -58,9 +58,8 @@ spot such a pattern, feel free to send a PR to update the guide.

 Line length is 100 characters. In rare situations, like the collision table at
 the top of
-[engine_collision_driver.c](https://github.com/deepmind/mujoco/search?q=repo%3Ad
-eepmind%2Fmujoco+filename%3Aengine_collision_driver.c), longer lines are alowed
-for readability.
+[engine_collision_driver.c](https://github.com/deepmind/mujoco/blob/c8ff7b3d341560e8cc33fbdcaffbcdbc4c32327c/src/engine/engine_collision_driver.c#L36),
+longer lines are alowed for readability.

 #### Comments