Merge branch 'dev' into dev-exp

This commit is contained in:
daan 2019-07-08 17:45:04 -07:00
commit 129149977d
83 changed files with 1944 additions and 774 deletions

View file

@ -141,6 +141,15 @@ int main() {
//mi_stats_print(NULL);
// ---------------------------------------------------
// various
// ---------------------------------------------------
CHECK_BODY("realpath", {
char* s = mi_realpath( ".", NULL );
// printf("realpath: %s\n",s);
mi_free(s);
});
// ---------------------------------------------------
// Done
// ---------------------------------------------------[]