Warn about unmatched <ignore> tags

This commit is contained in:
rfm 2023-12-12 20:45:06 +00:00
parent 70e56ecfea
commit 286a127501
2 changed files with 6 additions and 0 deletions

View file

@ -1067,5 +1067,7 @@ gs_cond_wait(gs_cond_t *cond, gs_mutex_t *mutex)
return gs_cond_timedwait(cond, mutex, INFINITE);
}
/** </ignore>
*/
#endif /* GS_USE_WIN32_THREADS_AND_LOCKS */

View file

@ -1361,6 +1361,10 @@ recheck:
}
}
}
if (ignore)
{
[self log: @"unmatched <ignore> tag"];
}
}
return pos;
}