buildman should allow creating the boards.cfg file into a given directory
The -R option generates this file. We should have a way to specify its output filename, so that other tools can request it be written to a known place.
The -R option generates this file. We should have a way to specify its output filename, so that other tools can request it be written to a known place.