Open
Description
It would be extremely helpful in porting projects (and in using makefiles) to have the IDE either dump the configuration source:key=value information. Either with a commandline option, or as part of the /tmp file building of an ino/project.
The https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification page simply does not explain enough and the dump should be a trivial matter.