#include <string.h>
#include <unistd.h>
#include "coverage.h"
-
-#define THIS_MODULE VLM_util
#include "vlog.h"
+VLOG_DEFINE_THIS_MODULE(util)
+
const char *program_name;
void
vfprintf(stderr, format, args);
va_end(args);
if (err_no != 0)
- fprintf(stderr, " (%s)", strerror(err_no));
+ fprintf(stderr, " (%s)",
+ err_no == EOF ? "end of file" : strerror(err_no));
putc('\n', stderr);
exit(EXIT_FAILURE);