Is it possible to have a single platform.ini which can be used on mac and win? Specifically we need to change the upload_port based on which machine is being used.
Is there a problem with the autodection when you leave the field empty? Is it serial port based?