tweaks: condense and correct a comment, and move another

Since commit 5dcf375f from four years ago, a linter message must
contain a colon followed by a space for it to be recognized as a
linter message.
master
Benno Schulenberg 2021-05-07 12:40:25 +02:00
parent 44fb3e9991
commit 07fd4c4598
1 changed files with 3 additions and 6 deletions

View File

@ -2631,10 +2631,10 @@ void do_linter(void)
block_sigwinch(FALSE);
/* Process the linter output. */
pointer = lintings;
onelint = lintings;
/* Now parse the output of the linter. */
while (*pointer != '\0') {
if ((*pointer == '\r') || (*pointer == '\n')) {
*pointer = '\0';
@ -2642,11 +2642,8 @@ void do_linter(void)
char *filename = NULL, *linestr = NULL, *maybecol = NULL;
char *message = copy_of(onelint);
/* At the moment we handle the following formats:
*
* filenameorcategory:line:column:message (e.g. splint)
* filenameorcategory:line,column:message (e.g. pylint)
* filenameorcategory:line:message (e.g. pyflakes) */
/* The recognized format is "filename:line:column: message",
* where ":column" may be absent or be ",column" instead. */
if (strstr(message, ": ") != NULL) {
filename = strtok(onelint, ":");
if ((linestr = strtok(NULL, ":")) != NULL) {