Browse Source

Don't `trim()` output lines. Fixes #339, hopefully doesn't introduce any new issues

dev/git-series/gccdum
Matt Godbolt 6 years ago
parent
commit
9a91ee0af9
  1. 5
      lib/utils.js

5
lib/utils.js

@ -50,10 +50,9 @@ function expandTabs(line) {
exports.expandTabs = expandTabs;
function parseOutput(lines, inputFilename) {
var re = /^<source>[:(]([0-9]+)(:([0-9]+):)?[):]*\s*(.*)/;
var re = /^\s*<source>[:(]([0-9]+)(:([0-9]+):)?[):]*\s*(.*)/;
var result = [];
eachLine(lines, function (line) {
line = line.trim();
if (inputFilename) line = line.replace(inputFilename, '<source>');
if (line !== "" && line.indexOf("fixme:") !== 0) {
var lineObj = {text: line};
@ -78,4 +77,4 @@ function padRight(name, len) {
return name;
}
exports.padRight = padRight;
exports.padRight = padRight;

Loading…
Cancel
Save