diff options
author | Partouf <partouf@gmail.com> | 2018-03-15 17:46:24 +0100 |
---|---|---|
committer | Partouf <partouf@gmail.com> | 2018-03-15 17:46:24 +0100 |
commit | f0f74524a92b15041a34a461e77f1e00b6ee1741 (patch) | |
tree | 94a48ae23406cddaf276b45b573db7ff2fba5c6c /lib/utils.js | |
parent | 08e7e589da0acf3bc92a2758b2e183d53fcf5fe9 (diff) | |
download | compiler-explorer-f0f74524a92b15041a34a461e77f1e00b6ee1741.tar.gz compiler-explorer-f0f74524a92b15041a34a461e77f1e00b6ee1741.zip |
better error output for pascal
Diffstat (limited to 'lib/utils.js')
-rw-r--r-- | lib/utils.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/utils.js b/lib/utils.js index ddc5a3c76..5fe67e795 100644 --- a/lib/utils.js +++ b/lib/utils.js @@ -55,7 +55,7 @@ function expandTabs(line) { exports.expandTabs = expandTabs; function parseOutput(lines, inputFilename) { - const re = /^\s*<source>[:(]([0-9]+)(:([0-9]+):)?[):]*\s*(.*)/; + const re = /^\s*<source>[:(]([0-9]+)(:?,?([0-9]+):?)?[):]*\s*(.*)/; const result = []; eachLine(lines, function (line) { line = line.split('<stdin>').join('<source>'); |