| Report a warning, and proceed. |
`--------------------------------*/
-static void
+void
set_warning_issued (void)
{
static bool warning_issued = false;
void
warn_at (location loc, const char *message, ...)
{
+ if (!(warnings_flag & warnings_other))
+ return;
set_warning_issued ();
ERROR_MESSAGE (&loc, _("warning"), message);
}
warn_at_indent (location loc, unsigned *indent,
const char *message, ...)
{
+ if (!(warnings_flag & warnings_other))
+ return;
set_warning_issued ();
indent_ptr = indent;
ERROR_MESSAGE (&loc, _("warning"), message);
void
warn (const char *message, ...)
{
+ if (!(warnings_flag & warnings_other))
+ return;
set_warning_issued ();
ERROR_MESSAGE (NULL, _("warning"), message);
}
}
}
+void
+midrule_value_at (location loc, const char *message, ...)
+{
+ if (!(warnings_flag & warnings_midrule_values))
+ return;
+ set_warning_issued ();
+ ERROR_MESSAGE (&loc, _("warning"), message);
+}
/*-------------------------------------------------.
| A severe error has occurred, we cannot proceed. |