The installation script had a bug in it that didn't properly check whether empty string args were passed as an option. For example, the following would error out:
./install_mj_source.sh -h "" --mujoco-dir ""
We now add a check to see if empty double quotes were passed and the options are parsed correctly.
The installation script had a bug in it that didn't properly check whether empty string args were passed as an option. For example, the following would error out:
We now add a check to see if empty double quotes were passed and the options are parsed correctly.