Jürgen Spitzmüller schrieb:
Bernhard Roider wrote:
I did not test it, but i would suggest this regular expression:
+ static regex file_line_error("[^:]+:[0-9]+: (.+)");
I'm not sure. We have to be careful that no other construct matches this
regex. My version checks for the dot, which should always be present in the
filename part.
i am not familiar with the possible filenames, thus the question: do all kinds of filenames that can
appear in that output have an extension and does that extension never contain digits?
i guess a filename containing two dots is parsed correctly with your version?
bernhard
