Skip to content

Commit d6dd5b3

Browse files
vmcjeldering
authored andcommitted
Should need C++17
1 parent c4e2560 commit d6dd5b3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

judge/runguard.cc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -234,7 +234,7 @@ void verbose(const char *format, ...)
234234
void verbose_from_signalhandler(const char* msg)
235235
{
236236
if (!be_quiet && be_verbose) {
237-
static_cast<void>(write(STDERR_FILENO, msg, strlen(msg)));
237+
[[maybe_unused]] auto r = write(STDERR_FILENO, msg, strlen(msg));
238238
}
239239
}
240240

@@ -243,7 +243,7 @@ void warning_from_signalhandler(const char* msg)
243243
if (!be_quiet) {
244244
// Do not include timing here, as it wouldn't be safe from a signalhandler.
245245
// TODO: Consider rewriting using clock_gettime in the future.
246-
std::ignore = write(STDERR_FILENO, msg, strlen(msg));
246+
[[maybe_unused]] auto r = write(STDERR_FILENO, msg, strlen(msg));
247247
}
248248
}
249249

0 commit comments

Comments
 (0)