merge from dev

This commit is contained in:
Daan Leijen 2021-01-29 16:53:52 -08:00
commit b93cba3b05
9 changed files with 46 additions and 16 deletions

View file

@ -197,7 +197,7 @@ static void mi_out_buf(const char* msg, void* arg) {
if (start+n >= MI_MAX_DELAY_OUTPUT) {
n = MI_MAX_DELAY_OUTPUT-start-1;
}
memcpy(&out_buf[start], msg, n);
_mi_memcpy(&out_buf[start], msg, n);
}
static void mi_out_buf_flush(mi_output_fun* out, bool no_more_buf, void* arg) {