Only generate line directive when necessary

This commit is contained in:
Jonathan Müller 2017-10-11 17:11:27 +02:00
commit 0723bea947

View file

@ -198,8 +198,11 @@ namespace
void set_line(unsigned line)
{
*result_ += "#line " + std::to_string(line) + "\n";
cur_line_ = line;
if (cur_line_ != line)
{
*result_ += "#line " + std::to_string(line) + "\n";
cur_line_ = line;
}
}
void write_str(std::string str)