terminal: malloc_trim() is a GNU extension

This commit is contained in:
Daniel Eklöf 2019-11-03 12:57:47 +01:00
parent 2195e2cf71
commit 78cd93f030
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F

View file

@ -797,8 +797,12 @@ term_destroy(struct terminal *term)
}
free(term);
#if defined(__GLIBC__)
if (!malloc_trim(0))
LOG_WARN("failed to trim memory");
#endif
return ret;
}