On 04/06/2017 03:40, Enrico Forestieri wrote:
On Fri, Jun 02, 2017 at 12:55:47AM +0200, Enrico Forestieri wrote:So, output_file is always empty, whatever op.dryrun. I think that the following change was instead meant: - string const output_file = prepareHTMLFile(op); + string const output_file = op.dryrun ? string() : prepareHTMLFile(op);Good catch. I agree. Please commit.Done at 8ae652eb.
thx Enrico ! T.