Use dprint in World::rebuild_sourcedb

This commit is contained in:
2023-04-11 16:36:30 -04:00
parent 972f0095c6
commit 92a5657dce
2 changed files with 9 additions and 3 deletions

View File

@@ -10,7 +10,7 @@ static void if_error_print_and_exit(const std::string_view str) {
}
static void dprint_callback(const char *oneline, size_t size) {
fwrite("DPRINT:", 1, 7, stderr);
fwrite("**", 1, 2, stderr);
fwrite(oneline, 1, size, stderr);
fwrite("\n", 1, 1, stderr);
fflush(stderr);